Логика предикатов раздел классической символической логики, изучающий субъектно-предикатных структуру высказываний, на основании чего определяют значение истинности высказываний; по-другому - это дедуктивная теория, которая моделирует процесс выведения одних высказываний из других, учитывая их структуру. Логику предикатов трактуют как расширение логики высказываний через выявление внутренней структуры высказываний введения новых терминов и системы аксиомм.

Когда Алиса вошла в Лес Забывчивости, она забыла не все, а лишь кое-что. Она часто забывала, как ее зовут, но особенно ей легко удавалось забывать дни недели. Траля-ля и Труляля частенько наведывались в Лес Забывчивости. Странные это были существа. Один из них лгал по понедельникам, вторникам и средам и говорил правду во все осталь-ные дни недели. Другой лгал по четвергам, пятницам и субботам, но во все остальные дни недели говорил правду. Но Алиса не знала, кто из них ведет себя так или иначе. К тому же братья были так похожи друг на друга, что Алиса даже не могла различить их (воротнич-ки, на которых были вышиты их имена, братья одевали очень редко). Бедняжке Алисе приходилось очень туго! Взять хотя бы следующие случаи.

Задача 1
Однажды Алиса встретила обоих братьев вместе, и они высказали следующие ут-верждения:
Первый. Я Траляля.
Второй. Я Труляля.
Кто из них в действительности был Траляля и кто – Труляля?

Это может быть только въ воскресенье .

Вы давно знакомы с символической логикой?)) Не так часто удаётся встретить таких людей)

Изучалъ въ НЭТИ ( Новосибирский электротехнический институт ) .
В 1974-мъ году .

Точно, если не секрет,вы кто по национальности,поляк?

Я тоже на одну восьмую еврейка,остальное хохлушка.

Мой пращуръ Афанасiй Пальчиковъ , вроде бы , казненъ Иваномъ Болотниковымъ бунтовщикомъ .

А ты шутник,я всё поняла.А ведь купилась.

Тотъ Пальчикоффъ ездилъ въ Речь Посполиту посломъ .

Скопировалъ-корректировалъ . Но понимаю .

Краткость -- бабушка Чехова .
----------------------------------------
Краткость -- субъектъ .
"<есть> бабушка Чехова " -- предикатъ .

повторяем попытку...еще раз и без мозгоклюйства...

Шуба -- красивая .
------------------------
Здесь " шуба " -- субъектъ .

Предложение А(х) с переменной х, где х, которое в результате замены переменной допустимыми значениями обращается в высказывание, называется предикатом или высказывательной формой.