Установите отношение между суждениями: А – Если неверно, что холодно только тогда, когда сыро, то в случае, если не сыро, верно, что не холодно В – Либо не холодно, либо сыро

1. Формализация суждений

Введем переменные:

• $X$ — «холодно»
• $S$ — «сыро»

Суждение А: «Если неверно, что холодно только тогда, когда сыро, то в случае, если не сыро, верно, что не холодно».

1. «Холодно только тогда, когда сыро» — это импликация $X \rightarrow S$.
2. «Неверно, что холодно только тогда, когда сыро» — это отрицание $\neg(X \rightarrow S)$.
3. «Если не сыро, верно, что не холодно» — это $\neg S \rightarrow \neg X$.
4. Все суждение А: $\neg(X \rightarrow S) \rightarrow (\neg S \rightarrow \neg X)$.

Упростим формулу А:

• Импликация $X \rightarrow S$ эквивале...