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.
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
Esattamente una riga della tabella di verità rende falsa (r ∨ (q ∧ ¬p)) ↔ ((p ↔ q) → r). Clicca quella riga.
(r ∨ (q ∧ ¬p)) ↔ ((p ↔ q) → r)
1p = 1, q = 1, r = 1
2p = 1, q = 1, r = 0
3p = 1, q = 0, r = 1
4p = 1, q = 0, r = 0
5p = 0, q = 1, r = 1
6p = 0, q = 1, r = 0
7p = 0, q = 0, r = 1
8p = 0, q = 0, r = 0
2.Facile
Esattamente una riga della tabella di verità rende vera b ∧ (¬b ↔ a). Clicca quella riga.
b ∧ (¬b ↔ a)
1a = 1, b = 1
2a = 1, b = 0
3a = 0, b = 1
4a = 0, b = 0
3.Media
Quale formula è logicamente equivalente a ¬(p ↔ q)? Clicca su di essa.
¬(p ↔ q)
1p ↔ ¬q
2¬p ∨ ¬q
3¬p ↔ ¬q
4p ∧ ¬q
4.Media
Vuoi dimostrare (p ∨ r) → q per contrapposizione. Quale implicazione dimostri al suo posto? Clicca su di essa.
(p ∨ r) → q
1(p ∨ r) ∧ ¬q
2¬(p ∨ r) → ¬q
3¬q → ¬(p ∨ r)
4q → (p ∨ r)
5.Difficile
Quale enunciato è equivalente a ¬∃x (P(x) → Q(x)), con la negazione spostata fino in fondo all’interno? Clicca su di esso.
¬∃x (P(x) → Q(x))
1∀x (P(x) → ¬Q(x))
2∀x (P(x) ∧ ¬Q(x))
3∃x (P(x) ∧ ¬Q(x))
4∀x (¬P(x) → ¬Q(x))
6.Difficile
Quale enunciato è equivalente a ¬∀x ∃y R(x, y), con la negazione spostata fino in fondo all’interno? Clicca su di esso.
¬∀x ∃y R(x, y)
1∀x ∀y ¬R(x, y)
2∀x ∃y ¬R(x, y)
3∃y ∀x ¬R(x, y)
4∃x ∀y ¬R(x, y)
Soluzioni
1. p = 1, q = 0, r = 0
2. a = 0, b = 1
3. p ↔ ¬q
4. ¬q → ¬(p ∨ r)
5. ∀x (P(x) ∧ ¬Q(x))
6. ∃x ∀y ¬R(x, y)
Soluzioni complete passo passo: esercitati su questo argomento su examproblems.com.