2014 dxdy logo

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

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


Правила форума


Посмотреть правила форума



Начать новую тему Ответить на тему
 
 Интуиционистская логика высказываний
Сообщение15.01.2023, 10:31 


28/08/22
52
В обычной логике высказываний формально доказуемы все тавтологии и только они. В интуиционистской логике высказываний нет как минимум одной аксиомы - исключения третьего. Тогда получается, что не все тавтологии в ней выводимы. Есть ли какой-то простой критерий доказуемости формулы в ИЛ?

 Профиль  
                  
 
 Re: Интуиционистская логика высказываний
Сообщение15.01.2023, 12:38 
Заслуженный участник
Аватара пользователя


16/07/14
9480
Цюрих
Да, формула выводима в интуиционистской логике если она общезначима относительно семантики Крипке. В общем-то всё то же самое, что и для классической - выводимы в точности формулы, выполненные во всех моделях - только модели надо брать немного другие.

 Профиль  
                  
 
 Re: Интуиционистская логика высказываний
Сообщение15.01.2023, 12:44 


28/08/22
52
mihaild, спасибо!

 Профиль  
                  
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 3 ] 

Модераторы: Модераторы Математики, Супермодераторы



Кто сейчас на конференции

Сейчас этот форум просматривают: Skipper


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
Powered by phpBB © 2000, 2002, 2005, 2007 phpBB Group