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

La tabella di verità completa di (a → (b ∧ c)) ↔ (c ∨ (a ↔ ¬b)) è scritta per esteso. In quante righe N si ha a = 1 e c = 0?

(a → (b ∧ c)) ↔ (c ∨ (a ↔ ¬b))
N =
2.Facile
pq(q ∧ ¬p) ∨ q11?10?01?00?

Completa la tabella di verità (1 = vero, 0 = falso). In quante righe N è vera (q ∧ ¬p) ∨ q?

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

Quale formula è logicamente equivalente a ¬(q → r)? Clicca su di essa.

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

Quale formula è logicamente equivalente a r ↔ p? Clicca su di essa.

r ↔ p
  1. 1(r → p) ∧ (¬p → ¬r)
  2. 2r ∧ p
  3. 3(r → p) ∧ (p → r)
  4. 4(r → p) ∨ (p → r)
5.Difficile
r¬rpr ∧ ¬p

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

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

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

r ∨ q¬r
  1. 1r
  2. 2r ∧ q
  3. 3¬q
  4. 4q

Soluzioni

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

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