РУАЭСТ (RUAEST)
Облако ключевых слов*
* - вычисляется автоматически
Недавно смотрели:
-
Эффективность противовирусной терапии острых респираторных вирусных инфекций у часто болеющих детей
-
ФИНАНСОВО-ПРАВОВЫЕ ВОПРОСЫ ПОМОЩИ КРЫМУ И СЕВАСТОПОЛЮ
-
О рисках и угрозах в обеспечении конкурентоспособности продукции сельского хозяйства в условиях присоединения России к ВТО
-
ИСПОЛЬЗОВАНИЕ ЗООПЛАНКТОНА В БИОИНДИКАЦИИ ТЕПЛОВОГО ЗАГРЯЗНЕНИЯ ВОДОЕМОВ-ОХЛАДИТЕЛЕЙ АЭС
-
Формальные реконструкции силлогистики Венна
Формальные реконструкции силлогистики Венна
Рассмотрены две различные формализации силлогистики Джона Венна с пятью нестандартными исходными силлогистическими константами. Установлено, что в обоих силлогистических исчислениях доказуемы одни и те же силлогизмы и правила обращения.
Авторы
Тэги
силлогистика
исчисление (логика)
семантика
формализация
силлогистика Венна
Венна силлогистика
погружающая операция (логика)
силлогистические константы
Тематические рубрики
Предметные рубрики
В этом же номере:
Визуальная антропология: этапы становления и развития,
Структура современного физического знания,
...
Резюме по документу**
** - вычисляется автоматически, возможны погрешности
Похожие документы: