Гл.4 Упр.3

1) Неосмысленная запись: ни терм, ни формула. Раз нет предикатных знаков, значит это либо терм, либо неправильная (неосмысленная) запись. Две переменные, записанные подряд не являются осмысленной записью.

2) Неосмысленная запись: ни терм, ни формула. Раз нет предикатных знаков, значит это либо терм, либо неправильная (неосмысленная) запись. Две переменные, записанные через запятую и взятые в скобки, не являются термом.

3) Неосмысленная запись: ни терм, ни формула. Раз в состав записи входит предикатный символ, то она является либо формулой, либо неправильно построена. Ошибка в данной записи: два терма
(x и y) соединены пропозициональной связкой &, которая может связывать, согласно определениям терма и формулы, только формулы.

4) Неосмысленная запись: ни терм, ни формула. Ошибка: нельзя отрицать термы (индивидная константа а – терм).

5) Терм.

6) Формула. Ее нагруженное дерево: