2014 dxdy logo

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

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




 
 Интуиционистская логика высказываний
Сообщение15.01.2023, 10:31 
В обычной логике высказываний формально доказуемы все тавтологии и только они. В интуиционистской логике высказываний нет как минимум одной аксиомы - исключения третьего. Тогда получается, что не все тавтологии в ней выводимы. Есть ли какой-то простой критерий доказуемости формулы в ИЛ?

 
 
 
 Re: Интуиционистская логика высказываний
Сообщение15.01.2023, 12:38 
Аватара пользователя
Да, формула выводима в интуиционистской логике если она общезначима относительно семантики Крипке. В общем-то всё то же самое, что и для классической - выводимы в точности формулы, выполненные во всех моделях - только модели надо брать немного другие.

 
 
 
 Re: Интуиционистская логика высказываний
Сообщение15.01.2023, 12:44 
mihaild, спасибо!

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


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