Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Esattamente una riga della tabella di verità rende falsa ¬b ∨ (a ∧ b). 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 (p ↔ q) ∨ q. Clicca quella riga.

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

Vuoi dimostrare q → (r ∨ p) per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.

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

Vuoi dimostrare c → (b ∧ a) per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.

1. 1¬(b ∧ a) → ¬c
2. 2¬c → ¬(b ∧ a)
3. 3c ∧ ¬(b ∧ a)
4. 4(b ∧ a) → c

L’argomento con premesse b → a; c → a e conclusione b → c non è valido. Clicca la riga della tabella di verità che è un controesempio.

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

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

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