среда, 7 марта 2012 г.

ЛУ 3-7-12 Простейшее Высказывание.


Сегодня ну очень маленькое задание.

Логика работает с терминами, логическими операторами и высказываниями.  Термины бывают двух видов: термин-субьект и термин-предикат. Простейшее высказывание состоит из одного термина-субьекта, одного термина-предиката и логического оператора, который как бы склеивает эти два термина в одно высказывание:

«Предмет А ИМЕЕТ ПРИЗНАК Р». 

Предмет А есть термин-субьект

 Р есть термин-предикат

ИМЕЕТ ПРИЗНАК – логический оператор, называется оператор предикативности.

Пример: Рояль имеет три ноги. Негр чёрнокожий. Собака злая. Белка оранжевая. Солнце горячее. 

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

Рояль имеет такой признак, что у него три ноги. Негры имееют признак чернокожести. Собака имеет признак злости. Белка имеет такой признак, что она оранжевая. И так далее. Всё сводится к одному термину-субьекту (рояль, негры, белка, собака) к одному термину-предикату (имеет три ноги, чёрнокожий, оранжевый, горячий) и логическому оператору предикативности (имеет признак)

Приведите пару примеров сами.

Комментариев нет:

Отправить комментарий