"mittetoimivat" - 1 õppematerjal

Loogika konspekt 6-10

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 ? (A ¬B) & ¬B ? (¬A ¬B) & ¬B ?  24_fl_vi-x 4) Aluse eitus on mittekehtiv moodus (ik fallacy of denying the antecedent): Ei saa tõsikindlalt järeldada tagajärje eitamist aluse eitamisest. Arutluse tõesed eeldused ei garanteeri tõsikindlat järeldust. Kui p, siis q. On mitte-p. ??? (kes teab ...).