Professional Documents
Culture Documents
Лаврик Олександр КУІБу-20-1 СР2
Лаврик Олександр КУІБу-20-1 СР2
завдання:
1. Навести приклади умовиводів, які відповідають чотирьом фігурам
категоричного силогізму (звернути увагу на положення середнього терміну).
М–Р Р–М М–Р P–M
S–М S -- М М–S M–S
S–P S–P S–P S–P
1 фігура 2 фігура 3 фігура 4 фігура
1 фігура:
Всі програмісти (М) пишуть код (P)
Стив Каннингэм (S) – комп’ютерний програміст (М)
Стив Каннингэм (S) – пише код (P)
2 фігура:
Всі програмісти (Р) знають мову програмування (М)
Ніхто з присутніх (S) не знає мови програмування (M)
Ніхто з присутніх (S) не є програмістом (P)
3 фігура:
Усі фрукти (М) поживні (P)
Усі фрукти (M) смачні (S)
Деякі смачні продукти (S) поживні (P)
4 фігура:
Жодна людина (P) не досконала (M)
Усі досконалі (M) істоти міфічні (S)
Деякі міфічні істоти (S) – не люди (P)