Шпаргалка по предмету "Математическая логика"

Узнать цену работы по вашей теме


Исчисление предикатов. Основные аксиомы вывода.

Среди множества тождественно истинных формул существует подмножество, являющееся аксиомами исчисления предикатов, облегчающие процесс эквивалентных преобразований в процессе логического вывода. Ниже приведён набор наиболее распространённых аксиом (правил) для исчисления предикатов: 1) правило обобщения (или введения квантора общности): “если F1(t)  F2(x) – выводимая формула и F1(t) не содержит свободной переменной x, то F1(t)  x(F2(x)) также выводима”__(F1(t)  F2(x))__(F1(t)  x(F2(x))) 2) правило удаления квантора общности: “если каждая предметная переменная входит в предикат F(x), то можно ввести терм t, свободный от предметной переменной x, но удовлетворяющий требованиям предиката F(t)”x(F(x))F(t) 3) правило конкретизации: “если F1(x)  F2(t) выводимая формула и F2(t) не содержит свободных вхождений x, то x(F1(x)  F2(t)) также выводима”__F1(x)  F2(t)__x(F1(x)  F2(t)) 4) правила введения квантора существования: “если терм t входит в предикат f(t), то существует по крайней мере одна предметная переменная x, удовлетворяющая требованиям этого предиката F(x)”__F(t)__x(F(x)) 5) правила смены кванторов_x(F(x))_ _x(F(x))_x(F(x)) ; x(F(x)) 6) правила переноса кванторов влево (формирование префикса) (их там очень много…)Приведённый набор правил облегчает эквивалентные преобразования формул в процессе логического вывода. В исчислении предикатов, как и в исчислении высказываний приняты 3 схемы формального вывода: заключения, теорема и противоречие. Вывод заключения из множества посылок записывается также, как и в исчислении высказываний (см. вопрос 6).


Не сдавайте скачаную работу преподавателю!
С помощью нашего сервиса Вы можете собрать свою коллекцию шпаргалок по нужному предмету, и распечатать готовые ответы в удобном для вырезания виде. Для этого начните собирать ответы, добавляя в "Мои шпаргалки".

Доработать Узнать цену работы по вашей теме
Поделись с друзьями, за репост + 100 мильонов к студенческой карме :

Делаем шпаргалки правильно:
! Шпаргалки для экзаменов Какие бывают шпаргалки, как их лучше подготовить и что писать.
! Делаем правильную шпаргалку Что представляет собой удобная и практичная шпаргалка, как ее сделать.
! Как воспользоваться шпаргалкой В какой момент лучше достать шпаргалку, как ей воспользоваться и что необходимо учесть.

Читайте также:
Сдаем экзамены Что представляет собой экзамен, как он проходит.
Экзамен в виде тестирования Каким образом проходит тестирование, в чем заключается его суть.
Готовимся к экзаменам Как правильно настроиться, когда следует прекратить подготовку и чем заниматься в последние часы.
Боремся с волнением Как преодолеть волнение, как внушить себе уверенность.
Отвечаем на экзамене Как лучше отвечать и каким идти к преподавателю.
Не готов к экзамену Что делать если не успел как следует подготовиться.
Пересдача экзамена На какое время назначается пересдача, каким образом она проходит.
Микронаушники Что такое микронаушник или "Профессор .. ллопух ...".

Виды дипломных работ:
выпускная работа бакалавра Требование к выпускной работе бакалавра. Как правило сдается на 4 курсе института.
магистерская диссертация Требования к магистерским диссертациям. Как правило сдается на 5,6 курсе обучения.