Основы современных компьютерных технологий


Введение в логику - часть 3


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

Элементарное высказывание состоит из субъекта (логического подлежащего) - того, о чем идет речь в высказывании, и предиката (логического сказуемого) - того, что утверждается или отрицается в высказывании о субъекте.

Таким образом, высказывания - это форма мышления, в которой утверждается или отрицается логическая связь между понятиями, выступающими в качестве субъекта и предиката данного высказывания. Соответствие или несоответствие этой связи реальности делает высказывание (суждение) истинным или ложным.

Логическая связь между субъектом и предикатом высказывания выражается обычно в виде связки ЕСТЬ или НЕ ЕСТЬ, хотя в самом предложении эта связка может отсутствовать, а лишь подразумеваться. При этом субъект высказывания может выражаться не обязательно

288

только подлежащим в предложении, так же как и предикат - не только сказуемым (это могут быть и другие члены предложения). Что считать в предложении субъектом, а что предикатом высказывания, определяется логическим ударением. Логическое ударение связано со смыслом, содержащимся в предложении для говорящего и для слушающего.

По форме высказывания делятся на простые (имеют логическую форму "S есть Р" или "S не есть Р" , где S - субъект, Р - предикат) и сложные (грамматически выражаются сложными предложениями).

Простые высказывания позволяют выразить следующие типы высказывании:

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



  • Начало  Назад  Вперед