"ivlvrvk" - 1 õppematerjal

Loogika konspekt 6-10

8.11. Selgroogsed on kas imetajad, linnud, roomajad või kalad. See selgroogne ei ole imetaja, lind ega kala. Saamaks süllogismi, peame arvestama, et see mis kehtib kõikide selgroogsete kohta, peab kehtima ka selle selgroogse kohta. Tähistame: I - see selgroogne on imetaja; L - see selgroogne on lind; R - see selgroogne on roomaja; K ­ see selgroogne on kala. (I v L v R v K)&(¬I&¬L&¬K) R (modus tollendo ponens) Järelikult on see selgroogne roomaja. IvLvRvK ¬I & ¬L & ¬K R  28_fl_vi-x 8.12. Jooned on kas sirged, kõverad või murtud. Tasapinnalise kolmnurga külg ei ole kõver. Saamaks süllogismi, peame eeldama, et tasapinnalise kolmnurga külg on joon. See mis kehtib kõikide joonte kohta, peab kehtima ka selle joone ­ tasapinnalise kolmnurga külje kohta. Tähistame: S ­ joon on sirge; K- joon on kõver; M- joon on murtud.