2014 dxdy logo

Научный форум dxdy

Математика, Физика, Computer Science, Machine Learning, LaTeX, Механика и Техника, Химия,
Биология и Медицина, Экономика и Финансовая Математика, Гуманитарные науки




 
 Формальная система для исчисления предикатов
Сообщение26.07.2009, 10:11 
Ищу описание формальной системы для исчисления предикатов, основанной на языке первого порядка, единственной логической связке (штрих Шеффера), единственном кванторе (всеобщности), минимальном количестве правил вывода. Подскажите, пожалуйста.

 
 
 
 Re: Формальная система для исчисления предикатов
Сообщение27.08.2009, 14:46 
Аватара пользователя
а разве в языке первого порядка кванторы допустимы?
что-то про это было у Колмогорова и Драгалина в книжке
хотя, может, это квантор-терм исключается в языке первого порядка, т..е. выражение вида $\{x:\;\varphi(x)\}$.

 
 
 
 Re: Формальная система для исчисления предикатов
Сообщение04.09.2009, 05:00 
Аватара пользователя
Два слова об этом есть у Гильберта в книге "Основы теоретической логики" на страницах 29 и 52.

 
 
 
 Re: Формальная система для исчисления предикатов
Сообщение04.09.2009, 05:42 
rishelie в сообщении #238446 писал(а):
а разве в языке первого порядка кванторы допустимы?
Конечно :S

 
 
 
 Re: Формальная система для исчисления предикатов
Сообщение22.01.2010, 15:44 
Минимальная система была в книге Мендельсона "Мат. логика". Но там были логические связки отрицанияи импликация. Со штрихом Шеффера нигде не встречал. Упоминается, что это можно сделать, но делать, вроде как, никому не хотелось, так как штрих Шеффера --- не самая естественная операция.

 
 
 
 Re: Формальная система для исчисления предикатов
Сообщение22.01.2010, 17:22 
Аватара пользователя
У Черча во "Введении в математическую логику", если мне не изменяет память, упоминается единственная аксиома исчисления высказываний со штрихом Шеффера.

 
 
 [ Сообщений: 6 ] 


Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group