Ficha nº3

 

1. Considere as proposições.

 

2. Considera as proposições

 

 

3. Sejam p e q proposições.

 

 

4. Qual das seguintes proposições é necessariamente verdadeira se a proposição a => b for falsa?

 

5. Sejam p e q duas proposições.

Prove, recorrendo a tabelas de verdade, que:

 

6. O que podes afirmar, em cada um dos casos, a respeito dos valores lógicos das proposições operandas p e q, sabendo que;

 

 

7. Traduza em linguagem simbólica cada uma das proposições.

 

8. Considera duas proposições elementares a e b. Simplifica cada uma das seguintes proposições, indicando, sempre que possível, o respetivo valor lógico.

 

 

9. Considera as proposições seguintes:

 

10. Sabendo que ~ a <=> b é uma proposição verdadeira, qual das proposições é necessariamente verdadeira?

 

 

11. Sabendo que a proposição ~ [( ~ p /\ q ) => p ] => ( p /\ q ) é falsa, determine os valores lógicos de p e de q .

 

 

12. Considere as proposições p e q tal que p é verdadeira e q é falsa.

Indique o valor lógico de cada uma das proposições.

 

13. Considera as proposições

 

14. Considera as proposições seguintes:

 

15. Sabe-se que a proposição ~ ( a v ~ b ) => ~ ( b /\ c ) é falsa. Podemos concluir que os valores lógicos das proposições a, b e e são, respetivamente:

(A) F, V, V

(B) V, F, F

(C) V, V, V

(D) V, F, V

 

16. Considere a tabela de verdade representada parcialmente a seguir.

Determine em cada linha os valores lógicos das proposições a , b e c.

 

17. Considera as proposições:

Indica o valor lógico de cada uma das proposições seguintes.

 

18. Averigua se, apenas com o conhecimento de que a proposição p => q é verdadeira, podes indicar o valor lógico de:

Contactos

© Triplex