Loogika konspekt 6-10
Me juba tutvusime otseste
järeldustega mida saab teha loogilise ruudu abil.
1. Järeldused muutmise teel (ik obversion): jaatav otsustus muutub eitavaks, eitav
jaatavaks, predikaat asendatakse endisele vasturääkivaga. Järeldus muutmise teel on
tegelikult ühe ja selle-sama ütlemine teisel viisil. Järelduse skeemides on joone peal eeldus,
joone all järeldus.
SaP:
Kõik S on P Kõik varesed on linnud
Ükski S ei ole mitte-P Ükski vares ei ole mittelind.
SeP:
Ükski S ei ole P Ükski rumalus ei ole tegemata
Kõik S on mitte-P Kõik rumalused on tehtud
SiP:
Mõni S on P Mõni inimene on hea
Mõni S ei ole mitte-P Mõni inimene ei ole mittehea
SoP:
Mõni S ei ole P Mõnid inimene ei ole halb
Mõni S on mitte-P Mõni inimene on mittehalb.
annaabi.ee 
