Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Esattamente una riga della tabella di verità rende falsa ¬(¬(b ∧ a) ∧ a). Clicca quella riga.

1. 1a = 1, b = 1
2. 2a = 1, b = 0
3. 3a = 0, b = 1
4. 4a = 0, b = 0

Esattamente una riga della tabella di verità rende falsa (¬a ∧ c) → (¬b → (b ∧ a)). Clicca quella riga.

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

In quante delle 8 righe della sua tabella di verità ((¬r ∧ ¬p) ↔ ¬q) ↔ (p ↔ (q ↔ r)) è vera? Chiama questo numero N.

Quale formula è logicamente equivalente a b ∧ (a ∨ c)? Clicca su di essa.

1. 1(b ∧ a) ∨ (b ∧ c)
2. 2(b ∧ a) ∨ c
3. 3b ∨ (a ∧ c)
4. 4(b ∨ a) ∧ (b ∨ c)

Quante delle 16 righe della tabella di verità rendono vera ((p ∨ q) → q) ∧ (s ∧ (p ∧ r))? Chiama questo numero N.

Quale enunciato è equivalente a ¬∀x F(x), con la negazione spostata fino in fondo all’interno? Clicca su di esso.

1. 1∀x F(x)
2. 2∀x ¬F(x)
3. 3∃x F(x)
4. 4∃x ¬F(x)