Loogika konspekt 6-10
Sa ei ole minu poeg. S+ e P+
See on I/II figuuri kehtiv ja korrektne süllogism. Varjatud eeldus on: Ükski minu poeg ei ole
argpüks või Ükski argpüks pole minu poeg.
7.15A. Sa oled argpüks, sest sa ei ole minu poeg.
Nüüd oleme sunnitud võtma järelduseks ,,sest" ees oleva lause: Sa oled argpüks. S+aP;
kusjuures Sina on S ja argpüks on P lause. Eitava eelduslause Sa ei ole minu poeg peame
MUUTMA jaatavaks: Sa (S) oled mitte-minupoeg (M). Me saame seda teha, sest suurem
eeldus on varjatud ning kesktermini kuju on vaba. Teine väide peab olema väiksem eeldus,
kuna selles sisaldub väiksem termin Sina ning keskterminiks on mitte-minupoeg.
?? (mitte-minupoeg) (on/ei ole) (argpüks) ?P M
Sa oled mitte-minupoeg. S+ a M
Sa oled argpüks. S+ a P
Eelduste reeglitest: Suurem eeldus on üldjaatav