Loogika konspekt 6-10
(S7vp S7nj) & S7nj ? (tj)
Tagajärje jaatus ei anna tõsikindlat järeldust. Arutlus võib põhineda hoopis teistsugusel
varjatud eeldusel:
Kui sajab 7nj, siis sajab seitsmevennapäeval.
8.6.4. Kui seitsmevennapäeval sajab, siis sajab 7nj.
Seitse nädalat on järjest kuiva ilma. Seitsmevennapäeval ei sadanud.
(S7vp S7nj) & ¬S7njp ¬S7 vp (MT)
Kui kuiva ilma oli 7nj, siis kindlasti ei sadanud 7nj. Kui kontekstiga on kõik korras (nt mitte-
sadamise periood) siis võib küll nii järeldada.
HÜPOTEETILINE süllogism:
AB Kui Gaaga on hani, siis on ta lind.
BC Kui Gaaga on lind, siis ta muneb.
AC Kui Gaaga on hani, siis ta muneb.
(A B) & (B C) A C
Hüpoteetilise süllogismi järelduseks on tingiv lause.
ÜLESANDEID
8.7. Kui Erichil on sõbratar (S) ja tema naine on sellest teadlik (N), siis on Erichil
perekonnas probleeme (P). Kui Erichil on kodus probleeme, siis ta joob (J).