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