Сегодня ну очень
маленькое задание.
Логика работает с
терминами, логическими операторами и высказываниями. Термины бывают двух видов: термин-субьект и термин-предикат.
Простейшее высказывание состоит из одного термина-субьекта, одного
термина-предиката и логического оператора, который как бы склеивает эти два
термина в одно высказывание:
«Предмет А ИМЕЕТ
ПРИЗНАК Р».
Предмет А есть
термин-субьект
Р есть термин-предикат
ИМЕЕТ ПРИЗНАК –
логический оператор, называется оператор предикативности.
Пример: Рояль
имеет три ноги. Негр чёрнокожий. Собака злая. Белка оранжевая. Солнце
горячее.
Как видите,
оператор предикативности часто не имеет отдельного слова, он просто
подразумевается. Для того чтобы привести
эти предложения в логический стандартный вид приходится перефразировать в неочень
удобный вид.
Рояль имеет такой
признак, что у него три ноги. Негры имееют признак чернокожести. Собака имеет
признак злости. Белка имеет такой признак, что она оранжевая. И так далее. Всё
сводится к одному термину-субьекту (рояль, негры, белка, собака) к одному
термину-предикату (имеет три ноги, чёрнокожий, оранжевый, горячий) и логическому
оператору предикативности (имеет признак)
Приведите пару
примеров сами.
Комментариев нет:
Отправить комментарий