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
ab¬(a → (¬b ∧ a))11100100

Esattamente una riga della tabella di verità rende vera ¬(a → (¬b ∧ a)). Clicca quella riga.

¬(a → (¬b ∧ a))
  1. 1a = 1, b = 1
  2. 2a = 1, b = 0
  3. 3a = 0, b = 1
  4. 4a = 0, b = 0
2.Facile
pqq ∧ (q → ¬p)11100100

Esattamente una riga della tabella di verità rende vera q ∧ (q → ¬p). Clicca quella riga.

q ∧ (q → ¬p)
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Media
¬r ∨ ¬p¬r ∧ ¬pr ∨ ¬p¬r ∧ p

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

¬(r ∨ p)
  1. 1¬r ∨ ¬p
  2. 2¬r ∧ ¬p
  3. 3r ∨ ¬p
  4. 4¬r ∧ p
4.Media
¬c ∧ (a ∨ b)c ∧ ¬(a ∨ b)¬c ∧ ¬(a ∨ b)¬c → ¬(a ∨ b)

Vuoi dimostrare c → (a ∨ b) per assurdo. Quale enunciato assumi all’inizio? Clicca su di esso.

c → (a ∨ b)
  1. 1¬c ∧ (a ∨ b)
  2. 2c ∧ ¬(a ∨ b)
  3. 3¬c ∧ ¬(a ∨ b)
  4. 4¬c → ¬(a ∨ b)
5.Difficile
r¬r ∧ q¬rq

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

r → pp → q¬q
  1. 1r
  2. 2¬r ∧ q
  3. 3¬r
  4. 4q
6.Difficile

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

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

Soluzioni

  1. 1. a = 1, b = 1
  2. 2. p = 0, q = 1
  3. 3. ¬r ∧ ¬p
  4. 4. c ∧ ¬(a ∨ b)
  5. 5. ¬r
  6. 6. N = 7

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