Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Completa la tabella di verità (1 = vero, 0 = falso). In quante righe N è vera ¬((a ∧ b) ∨ b)?

Esattamente una riga della tabella di verità rende vera (p → 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

r ↔ ¬r è 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¬p → ¬r
2. 2¬p ∧ ¬r
3. 3¬r → ¬p
4. 4p → r

L’argomento con premesse b → c; a → c e conclusione b → a 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

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

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