Tõene oli kolmas väide: Kadi pea ei olnud sinine. Kuigi tegemist on üksteist välistavate väidetesüsteemidega, saab lahendusvalemis kasutada tavalist disjunktsiooni. Võib küll tekkida lahendeid, mis ei klapi ülesande algtingimustega (nn võõrlahendid), kuid neid saab algtingimustega võrreldes kõrvale jätta. 1 7. PREDIKAATLOOGIKA (PREDIKAATARVUTUS) Traditsioonilises loogikas uuritakse atributiivset lihtväidet kui objekti, mis koosnes kvantorist, subjektist, koopulast ja predikaadist. Lausearvutuses aga ei tunta huvi lihtlause sisemise struktuuri vastu, lihtlauset käsitletakse kui tervikut, millel on tõeväärtus vastavalt interpretatsioonile. Tehete abil moodustatud liitlausete struktuuri võetakse küll mingil määral arvesse, ent valemites esinevate lihtlausete puhul oluline vaid nende tõeväärtus. Kuna traditsiooniline loogika suutis uurida seda, mis toimub lause sees – kuidas predikaati
kasutada tavalist disjunktsiooni. Võib küll tekkida lahendeid, mis ei klapi ülesande algtingimustega (nn võõrlahendid), kuid neid saab algtingimustega võrreldes kõrvale jätta. 1 7. PREDIKAATLOOGIKA (PREDIKAATARVUTUS) Traditsioonilises loogikas uuritakse atributiivset lihtväidet kui objekti, mis koosnes kvantorist, subjektist, koopulast ja predikaadist. Lausearvutuses aga ei tunta huvi lihtlause sisemise struktuuri vastu, lihtlauset käsitletakse kui tervikut, millel on tõeväärtus vastavalt interpretatsioonile. Tehete abil moodustatud liitlausete struktuuri võetakse küll mingil määral arvesse, ent valemites esinevate lihtlausete puhul oluline vaid nende tõeväärtus. Kuna traditsiooniline loogika suutis uurida seda, mis toimub lause sees kuidas predikaati
annaabi.ee 
