Перевести с естественного языка на формальный (язык логики предикатов). Квадрат гипотенузы равен сумме квадратов катетов.

Определите вид умозаключения, проверьте его правильность, сделайте вывод, если это возможно. А) Обмен жилыми помещениями может быть судом признан недействительным, если он произведен с нарушением жилищного кодекса

2. Составьте суждение, соответствующее формуле: [ (a wedge ar{b}) leftrightarrow c ]

В каких отношениях находятся субъект и предикат в суждении (подчинение, пересечение, несовместимость, равнозначность). Сначала определите субъект и предикат суждения, затем изобразите их отношения с помощью кругов Эйлера.