|
Table of Contents
|
Quello del disegno è un reticolo?
DA INSERIRE L'IMMAGINE DEL RETICOLO
Si perché prendendo due elementi qualunque ho sempre Sup e Inf.
Ad esempio?
Per esempio il Sup{a,b} = 1 e Inf{a,b} = 0.
Ed è anche una Algebra di Boole?
No, perché alcuni elementi hanno due complementi distinti. Ad esempio a ha due complementi: b e d.
Che relazione c'è fra funzioni booleane ed espressioni booleane?
Da una funzione booleana è sempre possibile ricavare un'espressione e viceversa. Ad esempio sia una funzione booleana t.c.
(1)
allora la relatica espressione algebrica è
(2)
Mi interrompe Ok. Parliamo di conseguenza logica.
Una formula 
è conseguenza logica di insieme di formule 
se ogni valutazione che soddifa soddisfa anche e si scrive
Quali formule sono conseguenza logica di un insieme vuoto di formule?
Dato che tutte le formule soddisfano l'insieme vuoto, allora solo quelle funzioni che sono tautologia ne sono conseguenza.
Ok. Diciamo allora che è vero 
e supponiamo che 
. Allora cosa possiamo dire della formula
(4)
?
Sicuramente è una contraddizione. Infatti ….
Bene. Cosa dice il teorema di completezza dei sistemi di risoluzione?
Sia K un insieme finito di clausole. Allora K è insoddisfacibile se e solo se esiste una confutazione per K.
Che cos'è una confutazione?
Dico la definizione, pag XX delle dispense.
Ok. Mi dimostri il teorema.
Dimostro come pag XX.
Che cosa dice il teorema di Skolem.
Elenco il teorema e inizio a dimostrare ma mi ferma quasi su.
Quando due formule sono unificabili?
Mi impappino di brutto
