Professional Documents
Culture Documents
Logica e Algebra
25 Novembre 2016
Esercizio 1
A B C f (A,B,C)
0 0 0 0
0 0 1 0
0 1 0 1
0 1 1 1
1 0 0 1
1 0 1 1
1 1 0 0
1 1 1 1
1. Scrivere una f.b.f. equivalente avente la tavola di verit di f(A,B,C) usando solo i connettivi {~, }.
2. Data la f.b.f g(A,B,C)=(A ~B) (A ~C) dimostrare, sia usando lapproccio semantico che mediante
la risoluzione, che g(A,B,C)|-L (AB) C.
3. Dimostrare che ogni formula h(A,B,C) che non sia una tautologia e che soddisfi: g(A,B,C) h(A,B,C)
e f(A,B,C) h(A,B,C) semanticamente equivalente a (AB) C.
Esercizio 2
0 1 1 0 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 0 0 1
0 0 0 0 0 1
1. Determinare le propriet di R.
2. Trovare la relazione di equivalenza r generata da R e determinarne le r-classi.
3. Dire se esiste la minima relazione dordine T contenente R e in caso affermativo trovare, se esistono
sup{b,c,d}, inf{b,c,d}, gli elementi massimali, minimali, massimi e minimi di X rispetto a T.
4. Dire per quali valori di k>0 la relazione Rk una funzione. Per tali valori, se esistono, calcolare ker
R k.
Esercizio 2.
a d e f
3. Poich la matrice che rappresenta R una matrice triangolare alta la chiusura riflessiva e transitiva di
R rimane rappresentata da una matrice triangolare alta ed quindi antisimmetrica e perci la
minima relazione dordine che contiene R. (dato che la minima relazione riflessiva e transitiva che
contenga R).La matrice di inciedenza di tale chiusura
1 1 1 1 0 0
0 1 0 1 0 0
0 0 1 1 0 0
0 0 0 1 0 0
0 0 0 0 1 1
0 0 0 0 0 1
Il diagramma di Hasse
d
b c f
a e
da cui si vede che sup{b,c,d}=d, inf{b,c,d}=a, i minimali sono a,e i massimali f,d; non esistono
massimi e minimi.
4. R non una funzione. R2 ha la seguente matrice di incidenza
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 0 0 1
0 0 0 0 0 1
Inoltre la matrice di incidenza di R3 uguale a quella di R2 per cui per ogni k2 Rk=R2.
Poich in ogni riga della matrice di incidenza di R2 c uno ed un solo 1 R2 (e quindi Rk per k2)
una funzione. Inoltre, ker Rk, k2 la relazione r trovata nel punto 2.
Prima prova in itinere
Logica e Algebra
25 Novembre 2016
Esercizio 1
A B C f (A,B,C)
0 0 0 0
0 0 1 1
0 1 0 0
0 1 1 1
1 0 0 1
1 0 1 0
1 1 0 1
1 1 1 1
4. Scrivere una f.b.f. equivalente avente la tavola di verit di f(A,B,C) usando solo i connettivi {~, }.
5. Data la f.b.f g(A,B,C)=(A ~C) (A ~B) dimostrare, sia usando lapproccio semantico che mediante
la risoluzione, che g(A,B,C)|-L (AC) B.
6. Dimostrare che ogni formula h(A,B,C) che non sia una tautologia e che soddisfi: g(A,B,C) h(A,B,C)
e f(A,B,C) h(A,B,C) semanticamente equivalente a (AC) B.
Esercizio 2
0 1 0 0 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 0 1 0
0 0 0 0 1 0
5. Determinare le propriet di R.
6. Trovare la relazione di equivalenza r generata da R e determinarne le r-classi.
7. Dire se esiste la minima relazione dordine T contenente R e in caso affermativo trovare, se esistono
sup{b,c,d}, inf{b,c,d}, gli elementi massimali, minimali, massimi e minimi di X rispetto a T.
8. Dire per quali valori di k>0 la relazione Rk una funzione. Per tali valori, se esistono, calcolare ker
R k.
Esercizio 2.
a d f e
b c e
a f
da cui si vede che sup{b,c,d}=d, mentre linf{b,c,d} non esiste dato che linsieme dei minoranti
{b,c,d} vuoto (non esiste un elemento contemporaneamente minore di b e c), i minimali sono a,f i
massimali e,d; non esistono massimi e minimi.
8. R una funzione. R2 ha la seguente matrice di incidenza
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 1 0 0
0 0 0 0 0 1
0 0 0 0 0 1
Inoltre la matrice di incidenza di R uguale a quella di R2 per cui per ogni k2 Rk=R2.
3
Poich in ogni riga della matrice di incidenza di Rk c uno ed un solo 1, Rk per k2 una funzione.
ker Rk, k2 la relazione r trovata nel punto 2. Mentre per k=1 abbiamo
1 0 0 0 0 0
0 1 1 1 0 0
Ker R= 0 1 1 1 0 0
0 1 1 1 0 0
0 0 0 0 1 1
0 0 0 0 1 1