"mitteekvivalentseks" - 1 õppematerjal

Loogika – sissejuhatus ja põhimõisted

Tehete prioriteet määratakse sulgudega, va eituse puhul, mis tehakse alati esimesena. T – true, F – false 1) eitus – muudab tõese vääraks ja väära tõeseks; eitus nõuab, et tõe väärtus peab muutuma eitus unaarne teha, rakendub millelegi ühele; teised binaarne, seob kahte lauset 4) implikatsioon – deduktiivne kehtivus. Tõesest eeldusest väära tegemine 5) ekvivalents – mõlemad tõesed või väärad, loetakse ekvivalentseks; kui üks tõene teine väär, loetakse mitteekvivalentseks Truth A sentence P of SL (sentential logic) is truth-functionally true if and only if P is true on every truth-value assignment. Falsity A sentence P of SL is truth-functionally false if and only if P is false on every truth-value assignment. Indeterminacy A sentence P of SL is truth-functionally indeterminate if and only if P is neither truth-functionally true nor truth-functionally false. Equivalence