logica
Panoramica
La logica è lo studio delle relazioni di inferenza tra proposizioni, cioè lo studio delle leggi del ragionamento e della dimostrazione, generalmente definita come una branca della filosofia e la scienza dell’argomentazione.
Ciò che studia sono i principi della dimostrazione e dell’inferenza valida, gli errori, i paradossi e la nozione di verità. La logica e le sue applicazioni giocano un ruolo centrale nella filosofia, nella matematica, nell’informatica, nell’intelligenza artificiale e nella linguistica. Attraverso le sue applicazioni negli ambiti appena citati è possibile impiegare i risultati della logica all’analisi del ragionamento e delle argomentazioni.
Argomenti
proposizione
connettivo logico
tautologia
legge di De Morgan
predicato
quantificatori
negazione di proposizioni con i quantificatori