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

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)предицирующие связки (утвердительная связка «есть», отрицательная связка «не есть»).

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

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