- •Кемеровский государственный университет
- •Виды суждения по характеру предиката
- •Виды атрибутивных суждений по качеству:
- •Классификация простых категорических суждений:
- •Логический квадрат a,I,e,o
- •Виды модальности и их применения:
- •Отношения суждений в процессе полемики:
- •Выражение суждений на языке предикатов:
Выражение суждений на языке предикатов:
Алфавит языка предикатов составляют следующие символы: p,q, r, s, p1,…препозиционные переменные, при исследований предложений этим символами заменяются целые предложения; a, b, c, d, a1, b1, …индивидные константы, этими символами заменяют единичные имена; Х, y, z, x1, y1… К-местные предикатные символы
Суждение с союзом ∩ называется импликативным. Часть импликативного суждения, находящаяся между словами "если" и "то", называется антецедентом, а часть, находящаяся после слова "то", - консеквентном.
A
B
А∩В
И
И
И
И
Л
Л
Л
И
И
Л
Л
И
Знак материальной эквивалентности ≡
-
A
B
А≡В
И
И
И
И
Л
Л
Л
И
Л
Л
Л
И
16. Правильно построенные формулы на языке логики предикатов - это формулы, при построении которых опирались на все факторы и особенности языка логики предикатов.
Формализованный язык классической логики предикатов является фрагментом и результатом некоторой реконструкции естественного языка. Специфика его состоит, прежде всего, в наличии точных правил построения высказываний (формул) и сложных имен (термов). Этот язык предназначен для аксиоматического построения теорий, для анализа содержания высказываний естественного языка и выявления логических отношений между ними, для описания правил рассуждения, построения выводов и доказательств и т.д.
Язык классической логики предикатов обычно характеризуют как символический язык, потому что здесь используется особая символика.