fundamentos da computaçao

Questões de Concurso

( TJ -ES-CESPE-2011) Questão 1- Considerando as proposições simples p e q e a proposição composta S: [(p -> q) ^ (~q)] -> (~p), julgue os itens que se seguem.
Considere a tabela-verdade da proposição S que contenha apenas as colunas relativas às proposições p, q, ~p, ~q, p -> q, (p -> q) ^ (-q) e S. Nesse caso, é correto afirmar que nessa tabela o valor lógico F aparece 10 vezes.

(CESPE-UnB) Questão 2-Julgue certo ou errado.
Independentemente dos valores lógicos atribuídos às proposições A e B, a proposição
[(A -> B) ^ (¬B)] -> (¬A) tem somente o valor lógico F.

(CESPE-UnB-PREVIC-Nível Superior-2011) Questão 3- Se a proposição P for falsa, então a proposição
P -> (Q v R) será uma proposição verdadeira.

(FUNIVERSA -2010) Questão 4- Um suspeito de assassinato de um garçom, ao ser interrogado, afirmou: " Se ele morreu baleado, então eu não sou o assassino".

Um investigador concluiu que a verdade é exatamente a negação da proposição contrária a esta. Com base nisso, é correto concluir logicamente que:

a) o garçom não morreu baleado, e o suspeito não é o assassino.
b) o garçom morreu baleado ou o suspeito não é o assassino.
c) o garçom morreu baleado, mas o suspeito não é o assassino.
d) o garçom não morreu baleado, ou o suspeito é o assassino.
e) se o suspeito é o assassino, então o garçom morreu baleado.

(CESPE- LFG) Questão 5-Considere a afirmação X seguinte, que pode ser V ou F: "Se Maria for casada, então ela virá de vestido branco". "Se as proposições "Maria é casada e "Maria não virá de vestido branco" forem ambas V, então X será F.