Логіки закон

вираз, що містить лише змінні та логічні константи і є істинним у будь-якій предметній області за будь-якої інтерпретації, «законами» певної логіки є тотожно істинні формули цієї логіки