x on kallis; Dx – x on depressiivne; Vx – x on vilets; c on indiviidikonstant. Lisaks märgime, et asi kui indiviidikonstandi interpretatsioon on universaalhulga element. 1. ∀x [Hx → (Kx & Dx)] (e) 2. ∃x (Hx & Vx) (e) ∴ ∃x (Kx & Vx) 3. Hc & Vc (2.; EI) 4. Hc → (Kc & Dc) (1.; UI) 5. Hc (3.; Simp) 6. Kc & Dc (4., 5.; MP) 7. Kc (6.; Simp) 8. Vc & Hc (3.; Com) 9. Vc (8.; Simp) 10. Kc & Vc (7., 9.; Conj) 11. ∃x (Kx & Vx) (10.; EG) N9.9. Kõik filosoofid on pikad või mittepikad. Kõik filosoofid on lühikesed või mittelühikesed. Seega on mõned pikad või mittepikad asjad lühikesed või mittelühikesed. Ülesanne pole lahenduv ei süllogistika reeglite järgi ega ka mitte Venni diagrammide abil.4 Lahenduseks fikseerime interpretatsiooni: Px – x on filosoof; Tx – x on pikk; Sx – x on lühike. 4 Hausman et al., 2010: 354. Eelduste vahetamine ei muuda süllogismi lahenduvaks. 12
x (Kx & Vx) 3. Hc & Vc (2.; EI) 4. Hc (Kc & Dc) (1.; UI) 5. Hc (3.; Simp) 6. Kc & Dc (4., 5.; MP) 7. Kc (6.; Simp) 8. Vc & Hc (3.; Com) 9. Vc (8.; Simp) 10. Kc & Vc (7., 9.; Conj) 11. x (Kx & Vx) (10.; EG) N9.9. Kõik filosoofid on pikad või mittepikad. Kõik filosoofid on lühikesed või mittelühikesed. Seega on mõned pikad või mittepikad asjad lühikesed või mittelühikesed. Ülesanne pole lahenduv ei süllogistika reeglite järgi ega ka mitte Venni diagrammide abil.4 Lahenduseks fikseerime interpretatsiooni: Px x on filosoof; Tx x on pikk; Sx x on lühike. 4 Hausman et al., 2010: 354. Eelduste vahetamine ei muuda süllogismi lahenduvaks.
annaabi.ee 
