Вопрос № 6 Виды простых функторов. Функтор и функция. Смыслы функторов. Виды простых функторов

• Оператор

• Предикатор

• Конектор

_{Таблица простых функторов}

Название функтора	Аргуенты	Замыкание	Примеры
оператор	имена	имя	«… + 1» «… + …»
предикатор	имена	предложение	«… + 1 = …» «…< 0 »
конектор	предложение	предложение	«наверно, что … Отрицание» «… и …»
Конъюкция			«… или - дезъюнкция» «или … или …»
Импликация			« если … то…» «… если»

Функция – многозначное соответствие между 2-мя предметными областями, одна из которых называется областью определения функции.

Смыслы функтуров

• Оператор выражает операцию, т.е. функцию, область определения, совокупность предметов или картежей, а область значения – некоторая совокупность предметов.

• Предикатор выражает предикат, т.е. пропозициональную функцию, область определения которой – некоторая совокупность предметов или картежей предметов, а область значения – 2 абстрактных предмета-истина, ложь.

• Конектор выражает истинность функции, т.е. функцию области определения которой – 2 абстрактных предмета: истина, ложь или картежей из этих абстрактных предметов, а область значения – 2 абстрактных предмета: истина, ложь.

Вопрос № 7

Сложные функторы. Кванторы. Виды кванторов.

К сложным функторам относятся абстракторы, классообразование, кванторы.

2 Вида кванторов:

• Квантор существования

• Квантор общности

Квантор – сложный функтор, переводящий предикаторы в предложении путем связывания переменной.

Квантор существования.(существует такой …, что обозначает)

Квантор общности.(для каждого … справедливо …)

Вопрос № 8

Логическая форма. Пропозициональная и предикатная формы. Алгоритм нахождения логической формы высказывания.

Логическая форма – перевод выражения естественного языка на язык логики, где все нелогические постоянные замены переменными соответствующих категорий

Виды логических форм:

• Пропозициональная(в качестве переменных содержит предложение, в качестве постоянных - предложение)

• Предикатная ( в качестве переменных предикаторы, а логические постоянные – конекторы,кванторы)

Алгоритм

Вопрос № 9

Понятие как форма мышления. Выражение понятий в языке логики. Логические характеристики понятия.

Вопрос № 10

Виды понятий

Вопрос № 11

Отношение между понятиями

Вопрос № 12

Действия с понятиями: сложение, умножение, вычитание, обобщение, ограничение

Вопрос № 13

Деление как логическое действие с понятием. Правила деления понятия. Деление и классификация.

Вопрос № 14

Определение как логическое действие с понятием. Виды определений. Правила определения понятия.

Вопрос № 15

Суждение как форма мышления. Суждение и предложение. Простые и сложные суждения.

Вопрос № 16

Виды простых суждений. Условия истинности простых суждений.

Вопрос № 17

Виды сложных суждений. Условия истинности сложных суждений.

Сложные суждения содержат конекторы и подразделяются на виды в зависимости от того, какой конектор выступает в роли главного логического союза

Виды сложных суждений:

1. Отрицание суждения

2. Конъюктивное

3. Дезъюктивное

А) дезъюктивное разделительное

Б) дезъюктивное неразделительное

4. Условное суждение:

А) импликативное

Б) суждение эквивалентности

Условия истинности сложных суждений задаются определениями коннекторов

(таблица Условия истинности сложных суждений )