Prova di Logica Matematica del 17/02/2004 (4)

Prova di Logica Matematica del 17/02/2004 (4)
Nome
Cognome
Matricola
Anno immatricolazione
Dire quali delle seguenti frasi è una asserzione
→
Tiziana non ha superato l’esame di Logica.
E’ arrivato Carles alla stazione?
Se tutto va bene, domani parti?
Non rompere il vaso!
Dire quale delle seguenti asserzioni è una contraddizione
(p1→ ¬p2)→ ¬(p1∧p2)
¬ [(¬p1→ ¬p2) → (p2 → p1)]
¬ [(¬( p1∨p2)) ∧p2]
¬p1→ (p1→(¬p1)
→
L'asserzione " x è divisibile per 5"
è sufficiente perché l’ultima cifra di x sia 0
è necessaria perché l’ultima cifra di x sia diversa da 0
è sufficiente perché l’ultima cifra di x sia 5 oppure 0
è sufficiente e necessaria perché l’ultima cifra di x sia 5
→
Dire quale delle seguenti formule è logicamente equivalente alla formula (p2∨p3) →( p1→( p3∨p1)).
((p2∨p3) ∧p1) →( p3∨p1)
(¬(p2∧p1)) ∧ p3
((p3∨p1) ∨p2) →( p1∨p2)
¬(¬p1∧¬p2) ∨p3
→
Dire quali delle seguenti asserzioni sono false
se oggi è domenica allora Natale è a maggio
se 10 è il doppio di 5 allora 10 non è il doppio di 5
se la capitale dell'Italia è Milano allora Roma è la capitale dell’Italia
se Roma è la capitale dell’Italia allora Milano è la capitale dell’Italia
→
→
Sia 11100 un numero scritto in base 2, dire quale delle seguenti è la sua rappresentazione in base 10
24
23
22
28
→
1
Dire quali dei seguenti numeri, scritto in base 2, coincide con il numero 59.
101001
111011
110111
101010
→
Trovare una formula avente come tavola di verità la seguente tavola:
p1
1
1
0
0
p2
1
0
1
0
1
1
0
1
(p1∧p2)∨ (p1∧¬p2) ∨( ¬p1∧¬p2)
Disegnare inoltre un circuito elettrico ed una rete di porte logiche corrispondente.
p1
p1
¬p1
p2
¬p2
¬p2
p1
p2
p1
p2
p1
p2
Si consideri la grammatica con l'alfabeto {p,w,f}, il cui start-symbol è a e le cui regole di produzione
sono a→wwf, w→fp, w→pf p→ww. Dire quali delle seguenti parole possono essere prodotte da tale
grammatica
ppwwp
wwwff
www
fppff
→
→
2
wff
Costruire un tableaux per la formula segnata F((p1 ∨¬p2) → (p2 → p1)) e dire se la formula è una tautologia.
F((p1 ∨¬p2) → (p2 → p1))
V (p1 ∨¬p2)
F (p2 → p1)
V p1
V ¬p2
V p2
V p2
F p1
F p1
F p2
×
×
pertanto essendo l’unico ramo chiuso la formula (p1 ∨¬p2) → (p2 → p1) è una tautologia.
Segnare tutte le formule in cui la variabile z occorre vincolata
∃z(x+4z≥x)→ ∃z(z=3)
(z≥3) →[∀y(∃z(y+2z≥y))]
∃x(∃y(x+6z≤3y))
∃y(∃x(yz=4x−3y))
∀y[∃x(x+3≥y)→ (z=x)]
→
→
L'asserzione "quelli che non hanno studiato saranno bocciati" equivale a:
(∃x(x ha studiato))∧(∃x(x sarà bocciato))
∃x[¬ (x ha studiato)∧(x sarà bocciato)]
∃x[(x ha studiato)→(x sarà bocciato)]
∀x[¬ (x ha studiato)→(x sarà bocciato)]
∀x[¬ (x ha studiato)→ ∃x(x sarà bocciato)]
→
Dire quale delle seguenti formule rappresenta l'asserzione "il sistema di equazioni
x-y = 2x
x - y = 2x+1
non ammette soluzioni".
[∃a∃b(a-b = 2a)]∧[∃a∃b¬(a-b = 2a+1)]
[∀x∀y¬(x-y = 2x)]∧[∀x∀y¬(x-y = 2x+1)]
∀a∀b[(a-b = 2a)→ ¬(a-b = 2a+1)]
[∃x∃y(¬(x-y = 2x))]∧[∃x∃y¬(x-y = 2x+1)]
∃a∃b[(a-b = 2a)∧(a-b = 2a+1)]
→
Ridurre la formula ¬[(∃z(z>x)∨¬(∃z∀x(x-z = 8)) ]in forma normale prenessa utilizzando un opportuno
sistema di riscrittura (scrivere tutti i passi della derivazione).
[¬ ((∃z(z>x)∨¬(∃z∀x(x-z = 8))) ]
[¬ (∃z(z>x))] ∧ [¬ (¬(∃z∀x(x-z = 8))) ]
[¬ (∃z(z>x))] ∧ [(∃z∀x(x-z = 8)) ]
[∀z ¬ (z>x)] ∧ [(∃z∀x(x-z = 8)) ]
[∀t ¬ (t>x)] ∧ [(∃z∀x(x-z = 8)) ]
(spingo all'interno ¬)
(spingo all'interno ¬)
(rinomino z con t)
3
∀t [[¬ (t>x)] ∧ [(∃z∀x(x-z = 8)) ] ]
∀t∃z [[¬ (t>x)] ∧ (∀x(x-z = 8)) ]
∀t∃z [[¬ (t>x)] ∧ (∀a(a-z = 8)) ]
∀t∃z∀a [[¬ (t>x)] ∧(a-z = 8) ]
(porto avanti ∀t)
(porto avanti ∃z)
(rinomino x con a)
(porto avanti ∀a)
Dire quale delle seguenti affermazioni è vera
[∃a[(c+a=b) →¬(∃ a∀c(c>a))]] è logicamente equivalente a ∀x∀y∃a[(c+x=b)∧(y>a)]
∃x1∃x2(x1-x2=x1) è logicamente equivalente a ∃x2∀x1(x1-x2=x1)
¬[∃a[(c+a=b) →(∃ a∀c(c>a))]] è logicamente equivalente a ∀x∀y∃a[(c+x=b)∧(y>a)]
¬[∃a[(c+a=b) →¬(∃ a∀c(c>a))]] è logicamente equivalente a ∀x∀y∃a[(c+x=b)∧(y>a)]
∃a∀b(a-b>0) è logicamente equivalente a ∃x2 (∀x1¬(x2-x1>0))
→
Si consideri il programma
amico(maria, carmela)
amico(maria, tiziana) amico(tiziana, cristina)
lavora(maria, carmela) lavora(tiziana, cristina)
collega(tiziana, maria).
collega (X, Y) :- lavora(X, Y).
collega (Y, X) :- collega(X, Y).
invita(X,Y) :- amico(X,Y), collega(X,Y).
Calcolare il minimo modello di Herbrand di tale programma, cioè gli elementi della successione T(∅),
T2(∅), . . .
Risposta
T(∅) = { amico(maria, carmela), amico(maria, tiziana), amico(tiziana, cristina), lavora(maria, carmela),
lavora(tiziana, cristina), collega(tiziana, maria)}.
T2(∅) = T(∅)∪{collega(maria, carmela), collega(tiziana, cristina), collega(maria, tiziana)}
T3(∅) = T2(∅)∪{collega(carmela ,maria), invita(maria,carmela), collega(cristina , tiziana),
invita(tiziana, cristina), invita(maria, tiziana)}
T4(∅) = T3(∅)
pertanto T3(∅) è il minimo punto fisso di T ed è quindi il modello minimo di Herbrand.
4