_ _ Õpetaja Ilmar Lilleorg Maria Sillandi RP 121-T 2)[(q→z) ˄z] →q _ _ 3) [(p →q) ˄q] →p Kui kentaurid on mustad (p), siis on nad värvilised (q). Kui nad on värvilised (q), siis on nad nähtavad (z). Kui nad on nähtavad (z) siis on nad olemas (x). Kentaur on must. [(p →q) ˄ (q→z) ˄ (z→x) ˄q]→ Kui Erichil on sõbratar ja tema naine on sellest teadlik, siis on Erichil perekonnas probleeme. Kui Erichil on kodus probleeme, siis ta joob. Ei saa lahendada. [p ˄ q) →z ˄ z→q] 29.10.14 Kui see väide on hüpoteetiline, siis sisaldab see implikatsiooni. See väide on kas hüpoteetiline või disjunktiivne. See ei ole disjunktiivne väide. _ [(p →q) ˄(p˅z) ˄z] →q _ 1) [(p˅z) ˄z] →p mtp 2)[(p→q) ˄p] →q mp Tuletis: see väide sisaldab implikatsioone.
(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). (S & N P) & (P J) (S & N J) Järelikult: Kui Erichil on sõbratar ja tema naine on sellest teadlik, siis Erich joob. 8.8. Rooma ajaloost: Riik valmis sõda läbi. Sõda läbi orjad otsas. Orjad otsas riik otsas. Tähistame: Rv riik on valmis; S sõjad on otsas; O orjad on otsas; Ro riik on otsas (riik hävib)
annaabi.ee 
