- •30) Элементы теории нечетких множеств Нечеткие алгоритмы.
- •31) Современные неклассические логики. Перспективы развития логики.
- •32) Алгоритм и его свойства
- •33) Схемы алгоритмов
- •34) Задачи теории алгоритмов
- •35) Логические исчисления: исчисление предикатов
- •36) Система натурального вывода
- •37) Теоремы Гегеля
- •38) Получение по схеме алгоритма графа эквивалентного автомата.
- •39) Получение по схеме алгоритма переключательных функций эквивалентного автомата.
- •40) Получение по схеме алгоритма схемы эквивалентного автомата
- •41) Рекурсивные ф-ции
- •42) Машина Тюринга
- •43) Машина Поста
- •44) Нормальные алгорифмы Маркова
- •46) Сложность алгоритмов
- •47) Понятие о математической лингвистике. Формальный язык. Кодирование цепочек.
- •48) Формальные грамматики и их св-ва
- •49) Автоматное представление регулярных языков
- •50) Суждения. Модальные и категорические суждения
- •51) Простые категорические суждения
- •52) Семантика простого категорического суждения
- •53) Отношения между суждениями. Логический квадрат
- •54) Виды умозаключений
- •55) Непосредственное умозаключение. Таблица непосредственных суждений
- •Умозаключение путем обращения суждения меняются субъект и предикат исходного суждения:
- •56) Опосредованное дедуктивное умозаключение
- •Фигуры пкс
- •57) Дополнительные виды силлогизмов
- •58) Индуктивное умозаключение. Математическая индукция.
- •59) Синтаксис и семантика языка логики высказываний. Формализация высказываний. Проблема дедукции
- •II закон противоречия
- •III закон исключенного третьего
- •60) Равносильные преобразования в логике высказываний
50) Суждения. Модальные и категорические суждения
Суждения- это форма рационального мышления, которое описывает связь между понятиями (фиксирование некоторого утверждения между понятиями)
Универсум рассуждения
1. Категорические суждения. Связь между понятиями либо утверждается, либо отрицается. 0 или 1
2. Модальное суждение. Связь между понятиями либо усиливается, либо ослабевает (обязательно, возможно, разрешено,..)
-Юридическая модальность
-«Нечеткая логика», основана на нечетких понятиях. Любые от 0 до 1
- Многозначная логика-логика с несколькими значениями истинности. (да (2), нет(0), может быть(1))
51) Простые категорические суждения
Простые –если в нем нельзя выделить более простые, элементарные суждения. Структура ПКС:
- субъект (S)-понятие в котором фиксируется предмет мысли.
- предикат (Р)- понятие, фиксирующие атрибуты, свойства, характеризующие понятия
-логическая связка-часть мысли, в которой утверждается или отрицается наличие связи между суждениями («есть», «не есть»)
- квантор- часть мысли, которая показывает, в каком объеме берется понятие, стоящие на месте субъекта.
Классификация:
1.по количеству: -общие, -частные, -единичные.
2. по качеству:- утвердительные, - отрицательные
Суждения:
-общеутвердительными А:SаР (все S есть Р)
-Частноутвердительными I: SiР (некоторое S есть Р)
- Общеотрицательными Е: SеР (не одно S не является Р)
-Частноотрицательными О: SоР (некоторое S не является Р)
52) Семантика простого категорического суждения
Семантика, или смысл, ПКС рассматривается на основе анализа понятий суждений с учетом всевозможных отношений между ними на некотором универсуме рассуждения. Располагая информацией об истинности или ложности одного суждения, можно установить, каким будет другое суждение.
53) Отношения между суждениями. Логический квадрат
Таблица отношений
№ |
отношение |
Тип суждений |
|||
А |
I |
E |
O |
||
1 |
|
1
|
1 |
0 |
0 |
2 |
|
1 |
1 |
0 |
0 |
3 |
|
0 |
0 |
1 |
1 |
4 |
|
0 |
1 |
0 |
1 |
5 |
|
0 |
1 |
0 |
1 |
Логический квадрат- это граф в котором представлены отношения между суждениями.
54) Виды умозаключений
Умозаключение- это такая форма рационального мышления в которой фиксируется связь между суждениями. Виды:1. дедуктивное (переход от более общих к частным суждениям):-непосредственные (1 посылка и вывод), - опосредованные (2 и более посылок)
2. индуктивное (движение от менее общего к более общему) а) по некоторой конечной, обозримой области фактов. б) не полная, не обозримая мат. Статистика. в) бесконечное мн-во мат. индукция
55) Непосредственное умозаключение. Таблица непосредственных суждений
Непосредственное умозаключение строится двумя путями:1. Путем преобразования исходного суждения (посылки) 2. На основе знаний об отношениях между суждениями.