1) A proposição (p ∨ q) ∧ (¬p) é logicamente equivalente a:

A) q B) ¬q C) p D) ¬p E) p ∧ q

2) A proposição “p se, e somente se, q” é verdadeira quando:

A) p e q são verdadeiros B) p e q são falsos C) p e q têm o mesmo valor lógico D) p é verdadeiro E) q é verdadeiro

3) A proposição p → q é falsa somente quando:

A) p é falso e q é falso B) p é falso e q é verdadeiro C) p é verdadeiro e q é falso D) p é verdadeiro e q é verdadeiro E) q é falso

4) A proposição p → q é falsa somente quando:

A) p é falso e q é falso B) p é falso e q é verdadeiro C) p é verdadeiro e q é falso D) p é verdadeiro e q é verdadeiro E) q é falso

5) A proposição p → q é logicamente equivalente a:

A) p ∧ q B) ¬p ∧ q C) ¬p ∨ q D) p ∨ ¬q E) ¬(p ∧ q)

6) A negação de “p ou q” é:

A) ¬p ou ¬q B) ¬p e ¬q C) p e q D) ¬(p e q) E) p ou ¬q

7) A proposição ¬p → ¬q é logicamente equivalente a:

A) p → q B) q → p C) ¬q → ¬p D) p ↔ q E) ¬p ∨ ¬q

8) A proposição ¬(p ∨ q) é logicamente equivalente a:

A) ¬p ∨ ¬q B) p ∧ q C) ¬p ∧ ¬q D) p ∨ ¬q E) ¬(p ∧ q)

9) A negação correta da proposição (p ↔ q) é:

A) ¬p ↔ ¬q B) p ↔ ¬q C) ¬p ∨ ¬q D) (p ∧ ¬q) ∨ (¬p ∧ q) E) ¬(p ∨ q)

10) A proposição (p ↔ q) é verdadeira quando:

A) p é verdadeiro B) q é verdadeiro C) p e q são verdadeiros D) p e q são falsos E) p e q têm o mesmo valor lógico