Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

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

Esattamente una riga della tabella di verità rende falsa (¬p ∧ q) → (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 q ↔ p? Clicca su di essa.

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

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

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

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

1. 1∀x (¬F(x) ∨ ¬G(x))
2. 2∃x (¬F(x) ∧ ¬G(x))
3. 3∃x (¬F(x) ∨ ¬G(x))
4. 4∀x (¬F(x) ∧ ¬G(x))

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

1. 1b = 1, c = 1
2. 2b = 1, c = 0
3. 3b = 0, c = 1
4. 4b = 0, c = 0