џндекс.Њетрика
А Б В Г Д Е Ж З И Й К Л М Н О П Р С Т У Ф Х Ц Ч Ш Щ Э Ю Я

Логическая семантика

логи́ческая сема́нтика, теория, изучающая вопросы интерпретации логических исчислений: отношения между языком исчисления и описываемой им реальностью — моделью теории, условия существования моделей исчислений, их практической применимости и др. В более специальном смысле — дедуктивная теория, описывающая свойства понятия истинности в формализованных языках логики и математики.
 
Рейтинг@Mail.ru