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

Для того чтобы установить логическое отношение между суждениями $A$ и $B$, переведем их на язык алгебры логики.

1. Дано

Пусть:

• $p$ — «холодно»
• $q$ — «сыро»

Тогда:

• «не холодно» — $\neg p$
• «не сыро» — $\neg q$

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

Суждение $A$: «Если сейчас либо не холодно, либо не сыро, то тогда не холодно и сыро».

• «Либо не холодно, либо не сыро» записывается как $(\neg p \lor \neg q)$.
• «Не холодно и сыро» записывается как $(\neg p \land q)$.
• Вся конструкция «Если..., то...» — это импликация...