Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Quante righe N ha la tabella di verità completa di (¬(q ∨ r) → r) ∧ (¬(¬q ∧ p) ∧ ¬p)?

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

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

(c ∨ a) ∧ (¬c ∧ ¬a) è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.

1. 1tautologia
2. 2contraddizione
3. 3contingenza

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

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

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

1. 1p = 1, q = 1, r = 1
2. 2p = 1, q = 1, r = 0
3. 3p = 1, q = 0, r = 1
4. 4p = 1, q = 0, r = 0
5. 5p = 0, q = 1, r = 1
6. 6p = 0, q = 1, r = 0
7. 7p = 0, q = 0, r = 1
8. 8p = 0, q = 0, r = 0

Sono date le premesse c ∨ b; ¬c ∨ a. Quale conclusione ne segue? Clicca su di essa.

1. 1c ∨ a
2. 2b ∧ a
3. 3b ∨ a
4. 4¬b