Один из двоих знает другого. Идет дождь, но нельзя сказать, что жарко. Кто ясно мыслит, тот ясно излагает. Или я тебя не понимаю, или ты не хочешь меня понять. Не приходом люди богатеют, а расходом. Кризис неизбежен, разве что будут приняты

Ниже приводится пошаговое описание рассуждений для получения записи каждого суждения на языке логики суждений.

1. Один из двоих знает другого.
   Пусть область дискурса – два человека, которые обозначим символами a и b. Введём атомарное высказывание K(x, y), означающее «x знает y». Фраза «один из двоих знает другого» подразумевает, что либо a знает b, либо b знает a. Таким образом, получаем логическую формулу:
   K(a, b) ∨ K(b, a).
   
   
2. Идет дождь, но нельзя сказать, что жарко.
   Обозначим D – «идёт дождь» и H – «жарко». Союз «но» здесь функциониру...