2014 dxdy logo

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

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




 
 Как увидеть взаимосвязь "традиционных" модальных логик?
Сообщение27.01.2023, 11:38 
Аватара пользователя
Вопрос по разделу "Модальная логика". Вот здесь в лекции по модальной логике https://youtu.be/vb9wRWndGvs?t=4439 лектор говорит про включённость "традиционных" модальных логик друг в друга и приведены импликации.

Возьмём например вторую импликацию: "рефлексивность $\&$ евклидовость $\implies$ симметричность". Я не понимаю откуда взялась эта импликация? Я спокойно могу построить шкалу, которая удовлетворяет рефлексивности и евклидовости, но при этом она точно не будет симметричной, например такую: https://ibb.co/8m52Rcz

Или, например, взять третью импликацию: "симметричность $\&$ транзитивность $\implies$ евклидовость". Тут так же легко можно построить шкалу, которая удовлетворяет как симметричности так и транзитивности, но при этом не соответствует евклидовости: https://ibb.co/bXGCNWk

Помогите разобраться в чём ошибочно моё суждение? Как вообще расчитываются эти включения друг в друга?

 
 
 
 Re: Как увидеть взаимосвязь "традиционных" модальных логик?
Сообщение27.01.2023, 13:00 
Аватара пользователя
Ваша первая шкала не евклидова: $xRy$ и $xRx$, но не выполнено $yRx$.
Аналогично ваша вторая шкала не транзитивна: $xRy$ и $yRx$, но не выполнено $xRx$.

 
 
 
 Re: Как увидеть взаимосвязь "традиционных" модальных логик?
Сообщение27.01.2023, 17:35 
Аватара пользователя
mihaild
Да, вы абсолютно правы, спасибо

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


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