1) A proposição p ∨ q ∨ ¬p é:

A) Contradição B) Contingência C) Sentença aberta D) Tautologia E) Proposição falsa

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

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

3) A proposição p ⊕ q é equivalente a:

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

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

A) p é verdadeiro e q é falso B) p é falso e q é verdadeiro C) p e q são verdadeiros D) p e q são falsos E) q é verdadeiro

5) A negação lógica da proposição Se estudo, então passo é:

A) Se não estudo, então não passo B) Estudo e não passo C) Não estudo e não passo D) Passo e não estudo E) Não passo implica não estudo

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

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

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

A) p é verdadeiro B) q é verdadeiro C) p e q possuem o mesmo valor lógico D) p implica q E) p é falso

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

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

9) A negação correta de Todo número par é divisível por 2 ou por 4 é:

A) Nenhum número par é divisível por 2 B) Algum número par é divisível por 4 C) Existe número par que não é divisível por 2 nem por 4 D) Todo número par não é divisível por 4 E) Nenhum número é divisível

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

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