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
pqr(¬r ∧ p) ↔ ((¬r ∨ q) ∧ q)111?110?101?100?011?010?001?000?

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

(¬r ∧ p) ↔ ((¬r ∨ q) ∧ q)
N =
2.Facile
pqp → q11?10?01?00?

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

p → q
N =
3.Media
pqr¬p¬q ∨ ¬p(p ∧ r) ∨ (¬q ∨ ¬p)111?110?101?100?011?010?001?000?

In quante delle 8 righe della sua tabella di verità (p ∧ r) ∨ (¬q ∨ ¬p) è vera? Chiama questo numero N.

(p ∧ r) ∨ (¬q ∨ ¬p)
N =
4.Media
tautologiacontraddizionecontingenza

¬(a ∧ c) ↔ (¬a ∨ ¬c) è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.

¬(a ∧ c) ↔ (¬a ∨ ¬c)
  1. 1tautologia
  2. 2contraddizione
  3. 3contingenza
5.Difficile

Quante delle 16 righe della tabella di verità rendono vera (¬c ↔ (a ∧ b)) ∨ ((¬d ↔ b) ∨ ¬c)? Chiama questo numero N.

(¬c ↔ (a ∧ b)) ∨ ((¬d ↔ b) ∨ ¬c)
N =
6.Difficile
r ∨ q¬pp ∨ qp ∧ q

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

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

Soluzioni

  1. 1. N = 4
  2. 2. N = 3
  3. 3. N = 7
  4. 4. tautologia
  5. 5. N = 15
  6. 6. p ∨ q

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