Нормальная модальная логика
Обычная модальная логика Определение обычной модальной логики Обычная модальная логика включает все пропозициональные тавтологии и схемы Крипке. Закрыта под правилами […]
Вики
логические заглушки
Вики
Антецедент (логика)
Предшествующий (логический) Антецедент — первая половина гипотетического предложения, где предложение if предшествует предложению then. В некоторых контекстах предшествующий элемент называется