Задан некоторый язык первого порядка с константами a и b и одноместными предикатными символами P и Q. Интерпретация предикатов: P(a) = 0, P(b) = 1; Q(a) = 1, Q(b) = 0. Найдите истинностные значения формул в данной интерпретации.

Правильно ли построены доказательства и опровержения? Мой подзащитный не совершил мошенничества, так как он является человеком настолько добропорядочным, что никак не позволил бы себе такого проступка.

Восстановите энтимему в полный силлогизм. Установите, является ли она правильной. Признаком горения является наличие пламени, поэтому окисление не является горением.

«Если в параллелограмме диагонали взаимно перпендикулярны, то параллелограмм – ромб; в данном параллелограмме диагонали не взаимно перпендикулярны, следовательно, параллелограмм не есть ромб».