Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it)

Verità logiche

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

Verità logiche positive

• () “legge dell’ a fortiori”

• (())(()()) “legge di Frege”

• (())() “legge di assorbimento (di premessa)”

• (())(()) “legge di scambio delle premesse”

• ()(()()) “legge di transitività”

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

Verità logiche positive in , , ,

• ; “attenuazione congiuntive”

• ; “attenuazione disgiuntive”

• () (); () ();

• (())( ) “legge di importazione (di premessa)”

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

• ( )( ()) “legge di esportazione (di premessa)”

• ()(()()) “legge di transitività”

• (()) “syllogismus hypothetius”

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

Verità logiche “algebriche” in e

• ; “legge di idempotenza di ed ”

• ; “legge di commutatività di ed ”

• ( ) ( ) “legge di associatività di ”

• ( ) ( ) “legge di associatività di ”

• ( ) “legge di assorbimento di su ”

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

• ( ) “legge di assorbimento di su ” • ( ) ( ) ( ) “legge di distributività

di su ”• ( ) ( ) ( ) “legge di distributività

di su ”

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

Verità logiche negative

• ; “legge della doppia negazione”

• ( ) ( ) “legge di contrapposizione”

• “Tertium non datur (legge del terzo escluso)”

• “legge di Duns Scoto (“ex absurdo sequitur quodlibet”)”

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

Leggi di de Morgan

• ( ) ( ) [ può essere definito via {, }]

• ( ) ( ) [ può essere definito via {, }]

• ( ) ( )

• ( ) ( )

INTERDEFINIBILITA’

Cagliari 8 Novembre 2006 Corso di laurea in Scienze della Comunicazione

Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”.

Leggi di Filone

• ( ) ( ) [ può essere definito via {, }]

• ( ) ( ) [ può essere definito via {, }]

Leggi di Crisippo

• ( ) ( ) [ può essere definito via {, }]

• ( ) ( ) [ può essere definito via {, }]