Our website is made possible by displaying online advertisements to our visitors.
Please consider supporting us by disabling your ad blocker.

Responsive image


Logica classica

La logica classica è la branca della logica formale che è stata più studiata e usata. È caratterizzata da certe proprietà; le logiche non-classiche sono quelle che non soddisfino una (o più) di queste proprietà, ovvero:

  1. Principio del terzo escluso;
  2. Principio di non-contraddizione;
  3. Monotonia dell'implicazione e idempotenza dell'implicazione;
  4. Commutatività dei connettivi;
  5. Leggi di De Morgan.

Previous Page Next Page