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 ↔ q) ∨ ¬p111?110?101?100?011?010?001?000?

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

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

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

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

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

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

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

((r → p) ∧ (r → ¬q)) ∨ (p ∧ q)
N =
5.Difficile
a → bb ∧ ab → a¬b → ¬a

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

b → cc → a
  1. 1a → b
  2. 2b ∧ a
  3. 3b → a
  4. 4¬b → ¬a
6.Difficile

Quante delle 16 righe della tabella di verità rendono vera (¬(p → r) ∧ s) ∧ (¬q ∧ (q → s))? Chiama questo numero N.

(¬(p → r) ∧ s) ∧ (¬q ∧ (q → s))
N =

Soluzioni

  1. 1. N = 6
  2. 2. N = 2
  3. 3. N = 4
  4. 4. N = 6
  5. 5. b → a
  6. 6. N = 1

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