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

В каждом логическом исчислении имеется своё множество тавтологий. 35

В исчислении высказываний тавтологиями являются аксиомы (точнее — схемы аксиом), а также все формулы, которые можно получать из известных тавтологий с помощью заданных правил вывода (чаще всего это Modus ponens и правило подстановки). 35

В логике предикатов, например, проблема определения того, является ли произвольная формула тавтологией, алгоритмически неразрешима. 35

Таким образом, отличие может заключаться в том, что в разных логических системах тавтологии имеют свои особенности: в одних случаях проверка тавтологии проста (например, в алгебре высказываний), в других — сложна и зависит от системы аксиом и доступных правил вывода. 35