Logica classica: differenze tra le versioni
Contenuto cancellato Contenuto aggiunto
→Esempi di logica classica: Corretta grammatica Etichette: Modifica da mobile Modifica da applicazione mobile Modifica da applicazione Android |
→Esempi di logica classica: Corretta grammatica Etichette: Modifica da mobile Modifica da applicazione mobile Modifica da applicazione Android |
||
Riga 10:
==Esempi di logica classica==
*L'[[Organon]] di [[Aristotele]] presenta la teoria dei [[sillogismo|sillogismi]], che è una logica con una ristretta schiera di proposizioni: le asserzioni prendono una delle quattro forme, ''Tutte le P sono Q'', ''Qualche P è una Q'', ''Nessuna P è Q'', e ''Qualche P non è Q''. Queste proposizioni sono composte da coppie di operatori duali, e ogni operatore è la negazione di un altro, relazioni che Aristotele ha classificato con la sua ''tabula''. Per giustificare il suo sistema, Aristotele ha enunciato esplicitamente il principio del terzo escluso e la legge di non contraddizione
:Secondo il principio del terzo escluso per ogni cosa A può essere o B o non B, nessun altro stato di verità è possibile.
:Più formalmente si dice che per ogni proposizione <math>P</math> avremo che <math>P\vee \neg P</math> è un'affermazione sempre vera (è una tautologia).
| |||