ТОР 5 статей:
Методические подходы к анализу финансового состояния предприятия
Проблема периодизации русской литературы ХХ века. Краткая характеристика второй половины ХХ века
Характеристика шлифовальных кругов и ее маркировка
Служебные части речи. Предлог. Союз. Частицы
КАТЕГОРИИ:
- Археология
- Архитектура
- Астрономия
- Аудит
- Биология
- Ботаника
- Бухгалтерский учёт
- Войное дело
- Генетика
- География
- Геология
- Дизайн
- Искусство
- История
- Кино
- Кулинария
- Культура
- Литература
- Математика
- Медицина
- Металлургия
- Мифология
- Музыка
- Психология
- Религия
- Спорт
- Строительство
- Техника
- Транспорт
- Туризм
- Усадьба
- Физика
- Фотография
- Химия
- Экология
- Электричество
- Электроника
- Энергетика
Выражение силлогистики средствами логики предикатов
В исчислении предикатов термины силлогизма рассматриваются как одноместные предикаты, слова «все» и «некоторые» выражаются с помощью кванторов общности 
и существования 
.
Отношение «быть присущим» выражается с помощью логических постоянных: → - импликации и Ù - конъюнкции. Отсюда, модус ЕАЕ первой фигуры можно выразить следующий формулой:
Отношение между терминами графически изображается так:
Не нашли, что искали? Воспользуйтесь поиском: