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) ↔ a11100100

Esattamente una riga della tabella di verità rende falsa (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
pq(¬p → q) ∨ p11100100

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

(¬p → q) ∨ p
  1. 1p = 1, q = 1
  2. 2p = 1, q = 0
  3. 3p = 0, q = 1
  4. 4p = 0, q = 0
3.Media
¬b ∧ ¬(a ∨ c)¬¬b → ¬(a ∨ c)¬(a ∨ c) → ¬¬b(a ∨ c) → ¬b

Vuoi dimostrare ¬b → (a ∨ c) per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.

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

Vuoi dimostrare ¬r → (q ∨ p) per assurdo. Quale enunciato assumi all’inizio? Clicca su di esso.

¬r → (q ∨ p)
  1. 1¬¬r → ¬(q ∨ p)
  2. 2¬r ∧ ¬(q ∨ p)
  3. 3¬¬r ∧ ¬(q ∨ p)
  4. 4¬¬r ∧ (q ∨ p)
5.Difficile
¬rp ∨ qr ∧ qr ∨ q

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

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

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

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

Soluzioni

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

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