Традиционно выделяют три основных закона логики:
1) Закон тождества;
2) Закон непротиворечия;
3) Закон исключенного третьего.
Есть еще четвертый - закон достаточного основания. Но он не является формальным, не имеет формального выражения и в классической логике не используется.