Banner
Instagram
Автор: Евгени Латинов

ISBN: 978-954-07-3117-9
Страници: 200
Година: 2012
Наличност: Да
Тегло: 0.3 кг.
Размери(ДxВ):14.0x20.0 см.
Корица: Мека

12.00 лв.

Количество

Модалната логика е част от съвременната символна логика. По-точно тя е едно надграждане върху класическата символна логика чрез това, че към последната се добавят логически символи, с помощта на които могат да бъдат представяни символно модални твърдения. Модалните твърдения са тези твърдения, чрез които изразяваме необходимост, възможност, задължителност, допустимост и др. От логическа гледна точка модалните твърдения се разглеждат като получени от други твърдения чрез различни модални оператори - за възможност, необходимост, задължителност и т.н.
В тази книга авторите се ограничават до модалната логика в тесен смисъл, т.е. до модалната логика, която се занимава с необходимостта и възможността, при това - до така наречената "строга" или "логическа" възможност и необходимост.

Подобни продукти