Логика суждений ТОС основана на правилах оценки истинности связей в диаграммах. Эти законы получили название ▫ нет ли тавтологии.