"s7njp" - 1 õppematerjal

Loogika konspekt 6-10

8.6.3. Kui seitsmevennapäeval sajab, siis sajab 7nj. Tänavu sadas seitse nädalat järjest. Seitsmevennapäeval sadas. (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