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 vera ((b ↔ c) ∧ a) ∧ ((c ∨ a) ∧ b). Clicca quella riga.
((b ↔ c) ∧ a) ∧ ((c ∨ a) ∧ b)
1a = 1, b = 1, c = 1
2a = 1, b = 1, c = 0
3a = 1, b = 0, c = 1
4a = 1, b = 0, c = 0
5a = 0, b = 1, c = 1
6a = 0, b = 1, c = 0
7a = 0, b = 0, c = 1
8a = 0, b = 0, c = 0
2.Facile
Completa la tabella di verità (1 = vero, 0 = falso). In quante righe N è vera (¬b ∨ a) ∧ (b ∨ ¬a)?
(¬b ∨ a) ∧ (b ∨ ¬a)
N =
3.Media
((c → a) ∧ ¬a) → ¬c è una tautologia, una contraddizione o una contingenza? Clicca la tua risposta.
((c → a) ∧ ¬a) → ¬c
1tautologia
2contraddizione
3contingenza
4.Media
Quale formula è logicamente equivalente a q → p? Clicca su di essa.
q → p
1¬q → ¬p
2¬p → ¬q
3¬p ∧ ¬q
4p → q
5.Difficile
L’argomento con premesse q → (p ∨ r); q e conclusione p non è valido. Clicca la riga della tabella di verità che è un controesempio.
q → (p ∨ r)q∴ p
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
6.Difficile
Quale enunciato è equivalente a ¬∃x A(x), con la negazione spostata fino in fondo all’interno? Clicca su di esso.
¬∃x A(x)
1∀x A(x)
2∀x ¬A(x)
3∃x ¬A(x)
4∃x A(x)
Soluzioni
1. a = 1, b = 1, c = 1
2. N = 2
3. tautologia
4. ¬p → ¬q
5. p = 0, q = 1, r = 1
6. ∀x ¬A(x)
Soluzioni complete passo passo: esercitati su questo argomento su examproblems.com.