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

Выразите   в   символической   форме   структуру рассуждения и табличным способом установите его правильность (является ли (Решение → 8695)

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



Выразите   в   символической   форме   структуру рассуждения и табличным способом установите его правильность (является ли (Решение → 8695)

Зададим переменные простым суждениям: «Если и только если статья будет сокращена (А), она будет напечатана (В), из чего следует: либо статья не будет сокращена (¬А) и не будет напечатана (¬В), либо в статью будут внесены сокращения (А), и она пойдет в печать (В)».
Символическая запись: (А↔В)→((¬А&¬В) ≠ (А&B)).
Таблица истинности:
Порядок действий→ 1 5 2 4 3
А В ¬А ¬В (А↔В) → ((¬А&¬В)
≠ (А&B))
и и л л и и л и и
и л л и л и л л л
л и и л л и л л л
л л и и и и и и л
Формула является логическим законом, она тождественно-истинная (результирующий столбец № 5), значит, рассуждение правильное.