• Закон тождества: всякое высказывание тождественно самому себе
• Закон непротиворечия: высказывание не может быть одновременно истинным и ложным
• Закон исключения третьего: высказывание может быть либо истинным, либо ложным третьего не дано
• Закон двойного отрицания: если дважды отрицать одно и то же высказывание, то в результате получится исходное высказывание
• Закон коммутативности:
• Закон ассоциативности: