Пример ↑

bavi 30 ноября 2013, 20:22 в посте Metapractice (оригинал в ЖЖ)

Джон трудолюбив.

---

Ни один трудолюбивый человек не несчастен

---

Какой вывод мы можем сделать из этих простых посылок?

---

1. трудолюбив = трудолюбив

---

2. 1 трудолюбив крайнее понятие в посылке с квантором - Все

---

3. Нет квантора "Некоторые" в посылках

---

4. Вывод = Квантор(Все) + обратный термин второй посылки = Джон счастлив