Выражение силлогистики средствами логики предикатов


В исчислении предикатов термины силлогизма рассматриваются как одноместные предикаты, слова «все» и «некоторые» выражаются с помощью кванторов общности V(x) и существования э(х).

Е
A Vx(g(x) —> м(х))
" \(s(\) >Р(\))
х)^м(х);
Отношение между терминами гра-фически изображается так:
Отношение «быть присущим» выражается с помощью логических постоянных: —> - импликации и л - конъюнкции.
Отсюда модус ЕАЕ первой фигуры можно выразить следующий формулой:

.
<< | >>
Источник: Черняк Н.А.. Логика: Учебное пособие. - Омск: Омск. гос. ун-т,2004. -84 с.. 2004

Еще по теме Выражение силлогистики средствами логики предикатов:

  1. Выражение силлогистики средствами логики предикатов
  2. Глава VПознание
  3.   ЛОГИЧЕСКОЕ УЧЕНИЕ ГАССЕНДИ  
  4. § 1. Расчетливость (to loyiaxikov) как разумная способность человеческой души
  5.   ПРИМЕЧАНИЯ И ПОЯСНЕНИЯ  
  6. Язык классической логики
  7. Приложение Учебная программа
  8. 10. Неопределенность и высшая категория «нечто» (то ті)
  9. ЛОГИКА
  10. Глава V Познание
  11. 6.2 Дескриптивная метафизика П.Ф.Стросона
  12. Из истории диалектики
  13. П. УСТНЫЙ ДОКЛАД