Kontradiktsioon Predikaat on kehtestatav, kui ta muutub tõeseks lauseks väh. ühe indiviidi korral Predikaadid Ax ja Bx(samal baashulgal) on samaväärsed, kui nende indiviidide hulgad ja tõehulgad on samaväärsed. Sattumuslik - kontingentne Predikaatide Px ja Qx disjunktsioon on predikaat Px v Qx, mis muutub tõeseks lauseks nende ja ainult nende indiviidide korral, mille korral muutub tõeseks lauseks vähemalt üks predikaatidest Px v Qx. Predikaatide konjunktsioon – predikaat, mis muutub tõeseks lauseks nende indiviidide korral, mille korral muutuvad tõeseks lauseks nii Px kui ka Qx. Implikatsioon Px -> Qx, predikaat mis muutub vääraks lauseks nende indiviidide korral, mille korral muutub predikaat Px tõeseks lauseks ja Qx vääraks. Ekvivalents Px <-> Qx, mis muutub tõeseks lauseks nende indiviidide korral, mille korral Px ja Qx omandavad samu tõeväärtusi.
indiviidide x korral samad tõeväärtused (ehk kui nende indiviidide hulgad ja tõehulgad on võrdsed). Predikaadi Px eitus on predikaat ¬Px , mis muutub tõeseks lauseks nende ja ainult nende indiviidide korral, mille korral predikaat Px muutub vääraks lauseks. Predikaatide Px ja Qx disjunktsioon on predikaat Px Qx, mis muutub tõeseks lauseks nende ja ainult nende indiviidide korral, mille korral muutub tõeseks lauseks vähemalt üks predikaatidest Px või Qx. Predikaatide Px ja Qx konjunktsioon on predikaat Px & Qx, mis muutub tõeseks lauseks nende ja ainult nende indiviidide korral, mille korral muutub tõeseks lauseks vähemalt nii predikaat Px kui ka predikaat Qx. Predikaatide Px ja Qx implikatsioon on predikaat Px Qx, mis muutub vääraks lauseks nende ja ainult nende indiviidide korral, mille korral muutub predikaat Px tõeseks lauseks ja predikaat Qx vääraks lauseks.
järelduste tegemist, reklaamis sisalduva teabe põhjal otsustamist ning üldistuste ja usutavusega seotud küsimusi. Reklaamteate mõjuväärtus selgub alles siis, kui vastuvõtja on suutnud lõpuni mõista ja läbi lasta sõnumit, mis sisaldub selles teates, või vähemalt jõuda teatud otsustuse või järelduseni. Isiku tunnetussüsteem sisaldab palju selliseid ühikuid, milles igaüks kuulub erinevatesse elemendiklassidesse, sõltuvalt erinevatest predikaatidest ja elementide seostest. Tarbija valmidus järeldada reklaamitava suhtes soodsaid tõdemusi sõltuv sellest, mil määral esitatav teave on kooskõlastatud olemasolevate üldiste hoiakutega ja maailmapildiga, üldise tähendussüsteemiga antud inimese jaoks. Induktiivne järeldamine üksikfaktidelt või tunnustelt üldistele järeldustele või tõdemustele liikumise viis. Deduktiivne järeldamine üldiste tõdemustelt või eeldustelt
üksikindiviidide asemel silmas pidada indiviidide järjestatud paare, kolmekohaliste puhul indiviidide järjestatud kolmikuid jne. TRADITSIOONILISEST LOOGIKAST UNAARSETE PREDIKAATIDE ABIL Traditsioonilise loogika kategoorilisi väiteid saab esitada predikaatarvutuse keeles, rakendades sobivalt defineeritud unaarsete predikaatide indiviidimuutujatele üldisus- või olemasolukvantorit või kvantori eitust (negatsiooni). Selle alalõigu näidetes on juttu vaid unaarsetest (ühekohalistest) predikaatidest. Unaarset predikaati käsitletakse sageli kui indiviidile omaduse omistamist. Kui tahame olla täpses kooskõlas traditsioonilise loogikaga, siis peame nõudma, et indiviidide hulk ei oleks tühi. See vastab Aristotelese arusaamale, et peab olema vähemalt üks objekt, mida saab subjekti alla viia (subsumeerida). Ent kui tõlgendada traditsioonilist loogikat Boole’i eeskujul, ei postuleeri üldine väide subjekti
üksikindiviidide asemel silmas pidada indiviidide järjestatud paare, kolmekohaliste puhul indiviidide järjestatud kolmikuid jne. TRADITSIOONILISEST LOOGIKAST UNAARSETE PREDIKAATIDE ABIL Traditsioonilise loogika kategoorilisi väiteid saab esitada predikaatarvutuse keeles, rakendades sobivalt defineeritud unaarsete predikaatide indiviidimuutujatele üldisus- või olemasolukvantorit või kvantori eitust (negatsiooni). Selle alalõigu näidetes on juttu vaid unaarsetest (ühekohalistest) predikaatidest. Unaarset predikaati käsitletakse sageli kui indiviidile omaduse omistamist. Kui tahame olla täpses kooskõlas traditsioonilise loogikaga, siis peame nõudma, et indiviidide hulk ei oleks tühi. See vastab Aristotelese arusaamale, et peab olema vähemalt üks objekt, mida saab subjekti alla viia (subsumeerida). Ent kui tõlgendada traditsioonilist loogikat Boole'i eeskujul, ei postuleeri üldine väide subjekti
annaabi.ee 
