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 ¬(b → c) ↔ (¬b → (c → ¬a))?

¬(b → c) ↔ (¬b → (c → ¬a))
N =
2.Facile
pq(¬p ∧ q) ∨ ¬q11100100

Esattamente una riga della tabella di verità rende falsa (¬p ∧ q) ∨ ¬q. Clicca quella riga.

(¬p ∧ q) ∨ ¬q
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Media
tautologiacontraddizionecontingenza

r ∧ ¬r è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.

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

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

¬r → (q ∧ p)
  1. 1¬¬r → ¬(q ∧ p)
  2. 2¬r ∧ ¬(q ∧ p)
  3. 3(q ∧ p) → ¬r
  4. 4¬(q ∧ p) → ¬¬r
5.Difficile
¬q → ¬rq → rr → qq ∧ r

Sono date le premesse q → p; p → r. Quale conclusione ne segue? Clicca su di essa.

q → pp → r
  1. 1¬q → ¬r
  2. 2q → r
  3. 3r → q
  4. 4q ∧ r
6.Difficile
¬aa¬a ∧ cc

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

a → bb → c¬c
  1. 1¬a
  2. 2a
  3. 3¬a ∧ c
  4. 4c

Soluzioni

  1. 1. N = 8
  2. 2. p = 1, q = 1
  3. 3. contraddizione
  4. 4. ¬(q ∧ p) → ¬¬r
  5. 5. q → r
  6. 6. ¬a

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