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

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

(q → p) ↔ (q ∨ r)
N =
2.Facile
pqq → p11?10?01?00?

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

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

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

¬((r ∨ (r ↔ q)) ∧ (¬(¬q → p) ∨ p))
N =
4.Media
¬¬p → ¬q¬q → ¬¬pq ∧ ¬¬p¬p → q

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

q → ¬p
  1. 1¬¬p → ¬q
  2. 2¬q → ¬¬p
  3. 3q ∧ ¬¬p
  4. 4¬p → q
5.Difficile

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

¬((r ∧ ¬(¬p → q)) ∧ (q ∨ s))
N =
6.Difficile

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

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

Soluzioni

  1. 1. N = 4
  2. 2. N = 3
  3. 3. N = 3
  4. 4. ¬¬p → ¬q
  5. 5. N = 15
  6. 6. N = 6

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