I закон – тождества.
В процессе определенного рассуждения каждое понятие и суждение должно быть тождественно само себе.
Х≡Х или Х®Х.
II закон – противоречия.
Невозможно, что одно и то же, в одно и то же время, было и не было присуще одному и тому же в одном и том же отношении.
(ложно), (истина).
III закон – исключенного третьего.
Равным образом не может быть ничего промежуточного между двумя членами противоречия, а относительно чего-то одного необходимо, чтобы то ни было, либо утверждать, либо отрицать.
(истина).
Часть логиков считают, что в ситуациях относительных к будущему закон исключенного третьего не применим. Но это уже неклассическая логика.