В математической логике несколько иной подход. Там законы, выраженные в виде формул, выступают как тождественно-истинные высказывания. Это означает, что формулы, в которых выражены логические законы, истинны при любых значениях их переменных. Среди тождественно-истинных формул особо выделяются такие, которые содержат одну переменную.

Не во всех науках критерий практики действует непосредственно. Следует подчеркнуть сложный, опосредованный характер отражения действительности в логических системах и их операциях, в логических формах и законах.

Соотношение критерия практики с логическим критерием истинности заключений в умозаключении позволяет констатировать, что для проверки истинности заключений в умозаключениях не обязательно обращаться всякий раз непосредственно к практике, а можно воспользоваться логическим (т. е. относящимся к форме рассуждения) критерием.