Проверить, является ли суждение законом логики: Если человек говорит неправду, то он заблуждается или сознательно вводит в заблуждение других. Этот человек говорит неправду, но не заблуждается. Следовательно, он сознательно вводит в заблуждение других.

     Проверить, является ли приведенное сложное суждение законом логики (тождественно-истинной формулой): Если человек говорит неправду, то он заблуждается или он сознательно вводит в заблуждение других. Этот человек говорит неправду, но явно он не заблуждается. Следовательно, он сознательно вводит в заблуждение других.