Soddisfacibilita` proposizionale, per formule in 3CNF. Consistenza, logiche booleane e teorema di Lindenbaum (19 marzo, h.11-13, aula 5A edificio H2bis)
Section outline
Vedi la terza pagina (recentemente aggiunta) della dispensa della lezione scorsa sulla riduzione a forma 3CNF
Per il resto, proseguire nella lettura dei lucidi "Cos'è una logica?" del 6 marzo scorso, della dispensa associata agli stessi e del Capitolo 1 delle `Lecture Notes in Logic' di Martin Davis, 1993.
Approfondimento suggerito: Documentarsi sul lemma di Zorn e ri-dimostrare per suo tramite il teorema di Lindenbaum, senza l'ipotesi semplificatrice impiegata nei lucidi e nella dispensa del corso.
