Logica e fondamenti di matematica
Docente: Prof. Roberto Giuntini ([email protected])
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
INTERDEFINIBILITA’
• (  )  (  )
[  può essere definito via {, }]
• (  )  (  )
[  può essere definito via {, }]
• (  )  (  )
• (  )  (  )
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 {, }]
Cagliari 8 Novembre 2006
Corso di laurea in
Scienze della Comunicazione