Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Esattamente una riga della tabella di verità rende vera (¬p ∨ q) ∧ p. Clicca quella riga.

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

Esattamente una riga della tabella di verità rende falsa (q ↔ p) ∨ (q → p). Clicca quella riga.

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

Quale formula è logicamente equivalente a r ↔ p? Clicca su di essa.

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

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

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

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

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

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

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