Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Esattamente una riga della tabella di verità rende falsa b → (a ↔ ¬b). Clicca quella riga.

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

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

q → (q ∧ 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¬r ∧ ¬p
2. 2¬r ∧ p
3. 3¬r ∨ ¬p
4. 4¬r ∨ p

L’argomento con premesse p → q; r → q e conclusione p → r 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

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

1. 1∃x ∀y ¬R(x, y)
2. 2∀x ∃y ¬R(x, y)
3. 3∃y ∀x ¬R(x, y)
4. 4∀x ∀y ¬R(x, y)