Lista de exercícios de Lógica proposicional e demonstrações com respostas

Exatamente uma linha da tabela-verdade torna q ↔ (¬p → q) falsa. Clique nessa linha.

1. 1p = 1, q = 1
2. 2p = 1, q = 0
3. 3p = 0, q = 1
4. 4p = 0, q = 0

Complete a tabela-verdade (1 = verdadeiro, 0 = falso). Em quantas linhas N é (r → q) ∧ (r → p) verdadeira?

Qual fórmula é logicamente equivalente a ¬(p ↔ q)? Clique nela.

1. 1p ∧ ¬q
2. 2p ↔ ¬q
3. 3¬p ↔ ¬q
4. 4¬p ∨ ¬q

Qual fórmula é logicamente equivalente a q ∧ (p ∨ r)? Clique nela.

1. 1(q ∧ p) ∨ r
2. 2q ∨ (p ∧ r)
3. 3(q ∨ p) ∧ (q ∨ r)
4. 4(q ∧ p) ∨ (q ∧ r)

São dadas as premissas p → r; p. Qual conclusão decorre delas? Clique nela.

1. 1p ∧ ¬r
2. 2¬r
3. 3¬p
4. 4r

O argumento com premissas b → c; a → c e conclusão b → a é inválido. Clique na linha da tabela-verdade que é um contraexemplo.

1. 1a = 1, b = 1, c = 1
2. 2a = 1, b = 1, c = 0
3. 3a = 1, b = 0, c = 1
4. 4a = 1, b = 0, c = 0
5. 5a = 0, b = 1, c = 1
6. 6a = 0, b = 1, c = 0
7. 7a = 0, b = 0, c = 1
8. 8a = 0, b = 0, c = 0