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
pq¬(p ∨ (p ∧ q))11?10?01?00?

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

¬(p ∨ (p ∧ q))
N =
2.Facile
abc¬a → (c ∨ b)111?110?101?100?011?010?001?000?

Completa la tabella di verità (1 = vero, 0 = falso). In quante righe N è vera ¬a → (c ∨ b)?

¬a → (c ∨ b)
N =
3.Media
(b → c) ∧ (a → c)(b → c) ∨ (a → c)b ∨ (a → c)(b ∧ a) → c

Quale formula è logicamente equivalente a (b ∨ a) → c? Clicca su di essa.

(b ∨ a) → c
  1. 1(b → c) ∧ (a → c)
  2. 2(b → c) ∨ (a → c)
  3. 3b ∨ (a → c)
  4. 4(b ∧ a) → c
4.Media
tautologiacontraddizionecontingenza

((r → p) ∧ (p → q)) → (r → q) è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.

((r → p) ∧ (p → q)) → (r → q)
  1. 1tautologia
  2. 2contraddizione
  3. 3contingenza
5.Difficile

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

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

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

r → qq → p¬p
  1. 1r
  2. 2¬r
  3. 3¬r ∧ p
  4. 4p

Soluzioni

  1. 1. N = 2
  2. 2. N = 7
  3. 3. (b → c) ∧ (a → c)
  4. 4. tautologia
  5. 5. N = 14
  6. 6. ¬r

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