Предикаты

Дело в том, что сама по себе логика высказываний обладает довольно слабыми выразительными возможностями. Пользуясь только логикой, нельзя выразить даже очень простые, с математической точки зрения, рассуждения.
Возьмем, например, следующее умозаключение. «Всякое целое число является рациональным. Число 5 – целое. Следовательно , 5 – рациональное число ». Все эти три утверждения с точки зрения логики высказываний являются атомарными. Т.е. только средствами логики высказываний нельзя вскрыть внутреннюю структуру и поэтому нельзя доказать логичность этого рассуждения в рамках логики высказываний.

Введение……………………………….…………………………….……........…….3
Основная часть. Предикаты: определения и примеры............................…....5
Заключение……………………………………..............................................….…12
Список используемых источников……………