Семантика логики
Семантика логики Семантика логики изучает интерпретацию формальных и естественных языков, охватывая понятие логического следствия. Логики должны разъяснять значение предложений, так […]
Вики
Semantics
Вики
Модальная логика
Модальная логика Модальная логика изучает отношения между возможными мирами и предложениями. Логика S5 является одной из наиболее известных модальных логик.
Вики
Логическая дизъюнкция
Логическая дизъюнкция Дизъюнкция – логическая операция, возвращающая значение истинности “true”, если оба аргумента не являются “false”. В классических логических системах