Scaricare la presentazione
La presentazione è in caricamento. Aspetta per favore
1
Logica e fondamenti di matematica
Docente: Prof. Roberto Giuntini Verità logiche
2
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à”
3
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)”
4
( )( ()) “legge di esportazione
Logica e teoria dell’argomantazione. Cap. 2: “Verità logiche”. ( )( ()) “legge di esportazione (di premessa)” ()(()()) “legge di transitività” (()) “syllogismus hypothetius”
5
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 ”
6
( ) “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 ”
7
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”)”
8
( ) ( ) [ 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 {, }]](http://slideplayer.it/slide/552103/1/images/8/%28%EF%81%A1+%EF%83%99+%EF%81%A2%29+%EF%82%AB+%EF%83%98%28%EF%83%98%EF%81%A1+%EF%83%9A+%EF%83%98%EF%81%A2%29+%5B+%EF%83%99+pu%C3%B2+essere+definito+via+%7B%EF%83%98%2C+%EF%83%9A%7D%5D.jpg "Logica e teoria dell’argomantazione. Cap. 2: Verità logiche . Leggi di de Morgan. ( ) ( ) [ può essere definito via {, }] ( ) ( ) [ può essere definito via {, }] ( ) ( ) ( ) ( ) INTERDEFINIBILITA’")
9
( ) ( ) [ 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 {, }]
![( ) ( ) [ può essere definito via {, }]](http://slideplayer.it/slide/552103/1/images/9/%28%EF%81%A1+%EF%82%AE+%EF%81%A2%29+%EF%82%AB+%28%EF%83%98%EF%81%A1+%EF%83%9A+%EF%81%A2%29+%5B+%EF%82%AE+pu%C3%B2+essere+definito+via+%7B%EF%83%98%2C+%EF%83%9A%7D%5D.jpg "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 {, }]")
Presentazioni simili
