Введение. Praedicatuum- ( лат.- сказанное) - это сказуемое утверждения, то, что высказывается (утверждается или отрицается) в суждении о субъекте

Логика предикатов

Praedicatuum- (лат.- сказанное) - это сказуемое утверждения, то, что высказывается (утверждается или отрицается) в суждении о субъекте. Например, в утверждении “ракета достигла Луны” предикат - “достигла Луны “

В логике высказываний атом рассматривается как неделимое целое, структура и состав которого не поддаются внешнему анализу в процессе рассуждений. Однако есть много мыслей, которые не могут быть рассмотрены простым способом. Например:

1) На языке логики высказываний нельзя выразить тот факт, что из предложения “по меньшей мере, один студент решил все контрольные задачи” следует заключение “ каждую контрольную задачу решил, по меньшей мере, один студент”. Каждое из этих высказываний является высказыванием, импликация которых не является тавтологией.

2) Пусть прямые на плоскости, || - символ параллельности прямых, тогда из посылок || и || следует заключение || . Однако в логике высказываний теорема не является общезначимой формулой.

3) Каждый человек смертен

Конфуций – человек

Конфуций – смертен.

Заключение теоремы кажется очевидным, однако, в логике высказываний формула не является тавтологией.

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

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

В логику предикатов, помимо символов высказывания, дополнительно введены символы отражаемых объектов, символы свойств и характеристик этих объектов, функциональные символы, а также символы отношений между объектами, их характеристиками и свойствами. Кроме того, введены также обобщающие и конкретизирующие выражения «все» и «некоторые» (кванторы), позволяющие количественноохарактеризовать связи объектов, свойств, характеристик и отношений. Дополнение логики указанными символами позволяет явно задавать и управлять объектами, отношениями, свойствами и характеристиками объектов, т.е. осуществлять внешнее вмешательство во внутреннюю структуру высказываний.

Дата добавления: 2014-01-04