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 (q ∧ ¬r) → (¬p ∧ ¬(p ∨ r)). Clicca quella riga.
(q ∧ ¬r) → (¬p ∧ ¬(p ∨ 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
Completa la tabella di verità (1 = vero, 0 = falso). In quante righe N è vera (p → q) ↔ (¬p → r)?
(p → q) ↔ (¬p → r)
N =
3.Media
In quante delle 8 righe della sua tabella di verità (b → c) → (¬b → (c ∧ ¬a)) è vera? Chiama questo numero N.
(b → c) → (¬b → (c ∧ ¬a))
N =
4.Media
In quante delle 8 righe della sua tabella di verità (¬b → ¬a) ∨ ((c → a) ↔ b) è vera? Chiama questo numero N.
(¬b → ¬a) ∨ ((c → a) ↔ b)
N =
5.Difficile
L’argomento con premesse p → q; ¬p e conclusione ¬q non è valido. Clicca la riga della tabella di verità che è un controesempio.
p → q¬p∴ ¬q
1p = 1, q = 1
2p = 1, q = 0
3p = 0, q = 1
4p = 0, q = 0
6.Difficile
Quante delle 16 righe della tabella di verità rendono vera ((a ∧ c) ∨ (b → d)) ∧ ¬(c ∨ b)? Chiama questo numero N.
((a ∧ c) ∨ (b → d)) ∧ ¬(c ∨ b)
N =
Soluzioni
1. p = 1, q = 1, r = 0
2. N = 4
3. N = 5
4. N = 6
5. p = 0, q = 1
6. N = 4
Soluzioni complete passo passo: esercitati su questo argomento su examproblems.com.