Автоматический поиск натурального вывода в классической логике предикатов
Пересмотр алгоритма поиска натурального вывода типа Куайна в логике предикатов первого порядка, предложенного В. Бочаровым, А. Болотовым и А. Горчаковым. Для этого алгоритма доказательство теорем о семантической непротиворечивости и семантической полноте.
| Рубрика | Философия |
| Предмет | Логика |
| Вид | диссертация |
| Язык | русский |
| Прислал(а) | Шангин В.О. |
| Дата добавления | 28.12.2013 |
| Размер файла | 643,2 K |
Отправить свою хорошую работу в базу знаний просто. Используйте форму, расположенную ниже
Студенты, аспиранты, молодые ученые, использующие базу знаний в своей учебе и работе, будут вам очень благодарны.
Подобные документы
Порядок формирования таблицы истинности. Упрощение посылок и заключений, приведение их к базисному множеству. Доказательство истинности заключения методом дедуктивного вывода и резолюции с построением соответствующих графов. Исчисление предикатов.
курсовая работа [137,1 K], добавлен 21.11.2012Стандартные связи предикатов и модальных операторов. Логическая характеристика понятий: температура, дерево, мать. Парные примеры: общее-конкретное, конкретное-собирательное; отношение между ними. Количественная и качественная характеристика суждений.
контрольная работа [13,6 K], добавлен 22.01.2012Классификация суждений, их схем и принятых в логике обозначений. Распределение терминов и изображение их соотношения с помощью круговых схем Эйлера. Установление вида и символическая схема сложного суждения. Формально-логический закон и его нарушение.
контрольная работа [21,9 K], добавлен 20.08.2011Суждение как отображение действительно существующих существенных связей и отношений между предметами. Общая характеристика суждения, субъект атрибутивного суждения. Причины бессмысленности суждений. Понятие "квантор существования" в современной логике.
реферат [13,5 K], добавлен 11.03.2012Раскрытие содержания базовых терминов - "фигура силлогизма", "модус силлогизма", "эпихейрема", "аналогия". Родовой признак, видовое отличие, атрибутивный или случайный признак. Сжатая характеристика представлений о логике мышления и познания философов.
контрольная работа [187,0 K], добавлен 01.02.2011Суждения, которые относятся к противоположным: противные (контрарные) и противоречащие (контрадикторные). Формула закона непротиворечия в двузначной классической логике. Формально-логические диалектические противоречия: их разрешение и прогресс познания.
контрольная работа [11,5 K], добавлен 08.12.2009Основные методологические принципы логики. Выражение суждений на языке предикатов. Дедуктивные умозаключения, категорический силлогизм. Аргументация и доказательство, правила построения логических правил. Проблема и гипотеза, управленческое решение.
курс лекций [160,1 K], добавлен 12.10.2009Описание системы аксиом Гилберта Иакермана, Россера, Мередита, Клини. Доказательств о равносильности аксиом и введенных в них связок. Расчет корректности вывода ModusTollendoTollens. Теорема о полноте метода резолюций. Выводимость на базе противоречия.
лекция [95,7 K], добавлен 27.12.2011Лосев и Аристотель наносят им смертельный удар. Материя, согласно логике, исходящей от их конструкций, есть понятие временное, (идея) выражающая наше временное незнание, неосведомленность. Идея этого временного незнания в уме.
творческая работа [7,2 K], добавлен 09.04.2007Анализ языковых выражений для связи мышления и языка, при которой язык выступает материальной оболочкой мыслей. Использование знаков-образов и символов. Синтаксический, семантический и прагматический аспекты изучения естественной и искусственной речи.
контрольная работа [90,7 K], добавлен 19.02.2011