Scheda di esercizi di Logica proposizionale e dimostrazioni con soluzioni

Scheda di esercizi di Logica proposizionale e dimostrazioni gratuita e stampabile: 6 esercizi dal livello facile a quello d’esame, con le soluzioni. Stampala o salvala come PDF.

Nuova schedaEsercitati online con i suggerimenti

Per i docenti: gratuita da stampare, copiare e usare in classe. Ogni nuova scheda ha nuovi valori e le sue soluzioni. Un link a ExamProblems nella pagina del corso è molto apprezzato.

Nome: ____________________   Data: ____________

1.Facile

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

¬((r ∧ ¬p) → r) → (¬(p ↔ q) → q)
N =
2.Facile

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

(p ∧ (r ∨ ¬q)) ↔ ¬(r → q)
N =
3.Media
tautologiacontraddizionecontingenza

((r ∨ p) ∧ ¬r) → p è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.

((r ∨ p) ∧ ¬r) → p
  1. 1tautologia
  2. 2contraddizione
  3. 3contingenza
4.Media
¬¬p → ¬q¬p ∧ ¬q¬q → ¬¬pq → ¬p

Vuoi dimostrare ¬p → q per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.

¬p → q
  1. 1¬¬p → ¬q
  2. 2¬p ∧ ¬q
  3. 3¬q → ¬¬p
  4. 4q → ¬p
5.Difficile
abcb → (a ∨ c)ba111110101100011010001000

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

b → (a ∨ c)b∴ a
  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
6.Difficile
∃x (¬A(x) ∧ B(x))∀x (A(x) → ¬B(x))∃x (A(x) ∧ ¬B(x))∀x (A(x) ∧ ¬B(x))

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

¬∀x (A(x) → B(x))
  1. 1∃x (¬A(x) ∧ B(x))
  2. 2∀x (A(x) → ¬B(x))
  3. 3∃x (A(x) ∧ ¬B(x))
  4. 4∀x (A(x) ∧ ¬B(x))

Soluzioni

  1. 1. N = 8
  2. 2. N = 8
  3. 3. tautologia
  4. 4. ¬q → ¬¬p
  5. 5. a = 0, b = 1, c = 1
  6. 6. ∃x (A(x) ∧ ¬B(x))

Soluzioni complete passo passo: esercitati su questo argomento su examproblems.com.