Loogika konspekt 6-10
) Saame neli toimivat valemit:
(A B) & ¬B ¬A (On noorus, on tervis. Pole tervist. J: pole noorust)
(¬A B) & ¬B A (Pole noorust, on tervis. Pole tervist. J:on noorus.)
(A ¬B) & B ¬A (On noorus, pole tervist. On tervis. J:pole noorust)
(¬A ¬B) & B A (Pole noorust, pole tervis. On tervis. J:on noorus.)
3) Tagajärje jaatus on mittekehtiv moodus (ik fallacy of affirming the consequent): Ei saa
tõsikindlalt järeldada tagajärje jaatamisest aluse jaatamist. Arutluse tõesed eeldused ei
garanteeri sel juhul tõsikindlat järeldust.
Kui p, siis q. On q. Järelikult ??? (kes teab ...).
q võib ilmneda ka mingil muu alusega. Nt: Kui vihma sajab, siis on tänav märg. Tänav on
märg. J:? Vo sadaski vihma, aga vo sõitis nt kastmisauto.
p ja q võivad olla nii negatiivsed kui positiivsed väited. Tähistame positiivsed väited: A, B.
Saame neli mittetoimivat valemit:
(A B) & B ?
(¬A B) & B ?