olema väär (tahapoole arutlus). Eelduste väärusest ei järeldu lõppjärelduse väärus.19 Praktilisi järeldamise reegleid: • SAAB tõestada, et arutlus on mittekehtiv, näidates, et sama skeemi põhjal tehtud arutluse eeldused on tõesed, aga neist tuletatav järeldus on väär. (Vastunäide.) • SAAB tõestada, et järeldus on tõene, näidates, et see saadakse tõestest eeldustest kehtiva arutluse abil. (Edasiarutlus) • SAAB tõestada, et vähemalt üks eeldus on väär, kui see viib kehtivas arutluses väärale järeldusele. (Tagasiarutlus) • Ei saa tõestada, et eeldused on tõesed, näidates, et lõppjäreldus on tõene. (Nt arutlus: Kuna kõik eestlased elavad vees ja kõik kalad on eestlased, siis järelikult elavad kõik kalad vees. Arutlus on kehtiv ja tulem tõene, ent eeldused on siiski väärad.) 18 Võib viia ka täpselt kujule Mõni S ei ole P, nt Mõni inimene ei ole iseennast tundev olend
olema väär (tahapoole arutlus). Eelduste väärusest ei järeldu lõppjärelduse väärus.19 Praktilisi järeldamise reegleid: · SAAB tõestada, et arutlus on mittekehtiv, näidates, et sama skeemi põhjal tehtud arutluse eeldused on tõesed, aga neist tuletatav järeldus on väär. (Vastunäide.) · SAAB tõestada, et järeldus on tõene, näidates, et see saadakse tõestest eeldustest kehtiva arutluse abil. (Edasiarutlus) · SAAB tõestada, et vähemalt üks eeldus on väär, kui see viib kehtivas arutluses väärale järeldusele. (Tagasiarutlus) · Ei saa tõestada, et eeldused on tõesed, näidates, et lõppjäreldus on tõene. (Nt arutlus: Kuna kõik eestlased elavad vees ja kõik kalad on eestlased, siis järelikult elavad kõik kalad vees. Arutlus on kehtiv ja tulem tõene, ent eeldused on siiski väärad.) 18
annaabi.ee 
