Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
II PROVA
i) {p ∧ q, p → q, ¬q},
ii) {p ∧ q, p → q, p ∨ q}.
(¬p ∨ q) ↔ (p −→ q).
III PROVA
1
Compito di Logica Matematica
II PROVA
i) {p ↔ q, p → q, ¬p ∨ q},
ii) {p ∧ q, q → p, ¬p ∧ q}.
III PROVA
1
Compito N. 2 di Logica Matematica
Febbraio 2011
Logica Proposizionale
Logica Predicativa
1. Che cosa è una formula nella Logica predicativa ?
2. Determinare le occorrenze libere e vincolate delle seguenti formule:
p(a, b, c)
∀xp(x, a) → ∀xq(x, b),
∃y(p(x, y) → q(x)) → ∃y(p(y) ∨ q(y)).
Determinare la chiusura esistenziale e la chiusura universale delle formule
precedenti.
3. Dare un’interpretazione della seguente formula:
∃x(p(x, a) ∧ q(x, b)).
1
Logica Matematica/Logica per Informatica
22 Dicembre 2015
e f
c d
a b
Verificare:
(i) R una catena?
(ii) R un reticolo?
2. Studiare l’insieme dei divisori di 98, D98 = {x ∈ N : x/98}, ordinato dalla
relazione di divisibilità. Precisamente stabilire se si tratta di un reticolo, di un
un reticolo distributivo, limitato, complementato, unicamente complementato,
un’algebra di Boole.
1
3. Verificare se i seguenti insiemi di formule sono soddisfacibili:
{(p ∧ q) → p, p → q, p ∧ ¬q}.
{p → ¬q, p ↔ q, ¬p} |= p → q,
2
Compito di Logica Matematica
Laurea triennale/magistrale
27 Giugno 2012
2. Dire, senza fare calcoli diretti, se il reticolo dei divisori di 56, D56 = {x ∈ N :
x/56}, ordinato dalla relazione di divisibilità, è un reticolo complementato.
{p ∨ q, p → q)} |= p ↔ q,
¬(p → q) ↔ (p ∧ ¬q).
p(a, b, c)
1
Compito di Logica Matematica
Laurea in Informatica
6 Febbraio 2014
3. Descrivere un esempio
i) {p ↔ q, ¬p → q, ¬p},
ii) {p ∧ q, p → q}.
{p ∧ ¬q, p → q} |= p ←→ q,
{¬q ∨ p, p ←→ q} |= p → q.
(p −→ q) ↔ (¬p ∨ q).
(p −→ q) ↔ (¬p ∨ q).
18 Gennaio 2018
x ≤ y se e solo se x − y è multiplo di 6,
{p, p → q} |= p ←→ q,
{q, p ∨ q} |= p ∧ q.
(p −→ q) ↔ (¬p ∨ q).
1
Compito di Logica per Informatica
Laurea in Informatica
01 Febbraio 2018
{¬p ∨ q, ¬p → q} |= p ∨ ¬q.