klasikong lohika

Ang klasikong lohika ay tumutukoy sa isang klase ng mga lohikang pormal na pinakaintensibong pinag-aralan at pinakamalawakang ginagamit. Ang klase ay minsan ring tinatawag na pamantayang lohika. Ang mga ito ay inilalarawan ng isang bilang ng mga katangian:

1. Batas ng hindi isinamang gitna at dobleng negatibong eliminasyon
2. Batas ng kawalang kontradiksiyon at prinsipyo ng pagsabog
3. Monotonisidad ng kalalabasan at idempotensiya ng kalalabasan
4. Komutatibidad ng konhunksiyon
5. Dualidad na de Morgan: ang bawat operador na lohika ay dula sa isa pa