Download
1 / 9
90 likes | 438 Views
Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it). Verità logiche. Logica e teoria dell ’ argomantazione. Cap. 2: “ Verità logiche ” . Verità logiche positive () “ legge dell ’ a fortiori ”
E N D
Logica e fondamenti di matematica Docente: Prof. Roberto Giuntini (giuntini@unica.it) Verità logiche
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à”
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. • Verità logiche positive in , , , • ; “attenuazione congiuntive” • ; “attenuazione disgiuntive” • () (); () (); • (())( ) “legge di importazione • (di premessa)”
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. • ( )( ()) “legge di esportazione • (di premessa)” • ()(()()) “legge di transitività” • (()) “syllogismus hypothetius”
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 disu”
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. • ( ) “legge di assorbimento disu” • ( ) ( ) ( ) “legge di distributività • di su ” • ( ) ( ) ( ) “legge di distributività • di su ”
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”)”
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. • Leggi di de Morgan • ( ) ( ) [ può essere definitovia {, }] • ( ) ( ) [ può essere definitovia {, }] • ( ) ( ) • ( ) ( ) INTERDEFINIBILITA’
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. • Leggi di Filone • ( ) ( ) [ può essere definitovia {, }] • ( ) ( ) [ può essere definitovia {, }] • Leggi di Crisippo • ( ) ( ) [ può essere definitovia {, }] • ( ) ( ) [ può essere definitovia {, }]
