Главная | Случайная
Обратная связь

ТОР 5 статей:

Методические подходы к анализу финансового состояния предприятия

Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века

Ценовые и неценовые факторы

Характеристика шлифовальных кругов и ее маркировка

Служебные части речи. Предлог. Союз. Частицы

КАТЕГОРИИ:






Виды формул логики предикатов. Основные тавтологии логики предикатов.




1) Если П – n-местная предикатная константа, t1, t2,…, tn – термы, то П(t1, t2,…, tn) – формулы.

2) Если А – формула, то А также формула.

3) Если А и В – формулы, то А∨В, А&В, А В – формулы.

4) Если А – формула, a - предметная константа, то VaA, ƎaA – также формулы.

5)Ничто иное не является формулой.

Тавтологии:

Законы де Моргана для кванторов


Выражение кванторов одного через другой


Пронесение кванторов через конъюнкцию и дизъюнкцию




 

15)Категорические атрибутивные высказывания: типы и структура, определения истинности.

Атрибутивное высказывание – высказывание о принадлежности и не принадлежности субъекта к предикату.

Типы:

1. Всякий S есть Р - общеутвердительные.

2. Всякий S не есть Р - общеотрицательные.

3. Некоторый S есть Р - частноутвердительные.

4. Некоторый S не есть Р - частноотрицателъные.

5. а есть Р - единичноутвердительные.

6. а не есть Р - единичноотрицателъные.

Структура:

1)субъект - термин, обозначающий те предметы, о которых в высказывании нечто утверждается или отрицается.

2)предикат - термин, обозначающий то, что утверждается или отрицается, об этих предметах.

3)Кванторные слова (всякий – универсальный квантор, некоторый – экзистанциональный).

4)предицирующие связки (утвердительная связка «есть», отрицательная связка «не есть»).

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

 




Не нашли, что искали? Воспользуйтесь поиском:

vikidalka.ru - 2015-2018 год. Все права принадлежат их авторам! Нарушение авторских прав | Нарушение персональных данных