2398 подписчиков
Простой категорический силлогизм в виде таблицы истинности.
((p→q)&(r→p))→(r→q)
p q r p→q r→p (p→q)&(r→p) r→q F
1 1 1 1 1 1 1 1
1 1 0 1 1 1 1 1
1 0 0 0 1 0 1 1
0 0 0 1 1 1 1 1
0 0 1 1 0 0 0 1
0 1 1 1 0 0 1 1
0 1 0 1 1 1 1 1
1 0 1 0 1 0 0 1
"Простой категорический силлогизм есть умозаключение об отношении двух терминов на основании их отношения к третьему термину"
Формальная логика, ЛГУ 1977
"... силлогизм же есть речь, в которой, если нечто предположено, то с необходимостью вытекает нечто отличное от положенного в силу того, что положенное есть".
Аристотель, Аналитики.
Около минуты
14 апреля 2022