Выразите в символической форме структуру рассуждения и табличным способом установите его правильность (является ли. 2

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

Пусть А – «мистер Смит счастлив» В- «миссис Смит счастлив» ((А→В)∩(А→В))→(А≡В) Построим таблицу истинности А В А В А→В А→В (А→В)∩(А→В) А≡В ((А→В)∩(А→В))→(А≡В) 0 0 1 1 1 0 0 0 1 0 1 1 0 1 1 1 1 1 1 0 0 1 1 1 1 1 1 1 1 0 0 0 1 0 0 1 Рассуждение правильное (является логическим законом)