1.Facile
Esattamente una riga della tabella di verità rende falsa a → b. Clicca quella riga.
a → b
- 1a = 1, b = 1
- 2a = 1, b = 0
- 3a = 0, b = 1
- 4a = 0, b = 0
Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni
2.Facile
Quante righe N ha la tabella di verità completa di ¬((b ∨ ¬(a ∧ c)) ↔ ¬((¬c ∧ b) ∧ a))?
¬((b ∨ ¬(a ∧ c)) ↔ ¬((¬c ∧ b) ∧ a))
N =
3.Media
Vuoi dimostrare p → ¬q per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.
p → ¬q
- 1¬¬q → ¬p
- 2¬q → p
- 3¬p → ¬¬q
- 4p ∧ ¬¬q
4.Media
Vuoi dimostrare (a ∧ b) → ¬c per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.
(a ∧ b) → ¬c
- 1(a ∧ b) ∧ ¬¬c
- 2¬¬c → ¬(a ∧ b)
- 3¬c → (a ∧ b)
- 4¬(a ∧ b) → ¬¬c
5.Difficile
Sono date le premesse r → p; ¬p. Quale conclusione ne segue? Clicca su di essa.
r → p¬p
- 1p
- 2¬r
- 3¬r ∧ p
- 4r
6.Difficile
L’argomento con premesse a → b; c → b e conclusione a → c non è valido. Clicca la riga della tabella di verità che è un controesempio.
a → bc → b∴ a → c
- 1a = 1, b = 1, c = 1
- 2a = 1, b = 1, c = 0
- 3a = 1, b = 0, c = 1
- 4a = 1, b = 0, c = 0
- 5a = 0, b = 1, c = 1
- 6a = 0, b = 1, c = 0
- 7a = 0, b = 0, c = 1
- 8a = 0, b = 0, c = 0
Soluzioni
- 1. a = 1, b = 0
- 2. N = 8
- 3. ¬¬q → ¬p
- 4. ¬¬c → ¬(a ∧ b)
- 5. ¬r
- 6. a = 1, b = 1, c = 0
Soluzioni complete passo passo: esercitati su questo argomento su examproblems.com.