Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it) Verità logiche
Verità logiche positive 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à”
Verità logiche positive in , , , Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. Verità logiche positive in , , , ; “attenuazione congiuntive” ; “attenuazione disgiuntive” () (); () (); (())( ) “legge di importazione (di premessa)”
( )( ()) “legge di esportazione Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. ( )( ()) “legge di esportazione (di premessa)” ()(()()) “legge di transitività” (()) “syllogismus hypothetius”
Verità logiche “algebriche” in e 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 ”
( ) “legge di assorbimento di su ” Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. ( ) “legge di assorbimento di su ” ( ) ( ) ( ) “legge di distributività di su ” ( ) ( ) ( ) “legge di distributività di su ”
Verità logiche negative ; “legge della doppia negazione” 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”)”
( ) ( ) [ può essere definito via {, }] Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. Leggi di de Morgan ( ) ( ) [ può essere definito via {, }] ( ) ( ) [ può essere definito via {, }] ( ) ( ) ( ) ( ) INTERDEFINIBILITA’
( ) ( ) [ può essere definito via {, }] 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 {, }]