Ega pea pole prügikast! Tõsta enda õppeedukust ja õpi targalt. Telli VIP ja lae alla päris inimeste tehtu õppematerjaleLOE EDASI
0
Predikaat on negatiivne: Kõik K on mitte-L (ehk: Kõik käod on mitte-laulvad). Negatiivsest terminist, kui see asub predikaadi kohal, saab positiivne muutmise teel: Ükski K ei ole L, sest termini kahekordne eitamine annab tulemuseks positiivse termini: mitte+mitte-L → L. Loogiliselt ruudult on näha, et arutluseks oleva otsustuse tõeväärtus on määramatu.
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.
Predikaati - suure tähega P. Otsustuse vormid: nimetus: üldkuju: nimi: terminid: 1. üldjaatav Kõik S on P A S a P 2. üldeitav Ükski S ei ole P E S e P 3. osajaatav Mõni S on P I S i P 4. osaeitav Mõni S ei ole P O S o P
Predikaat - on traditsioonilises loogikas see, mida millegi kohta öeldakse; termin propositsioonis, mida öeldakse teise termini (subjekti) kohta ehk omistatakse subjektile ehk preditseeritakse subjekti kohta.
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.
Predikaat on eitavas väites piiritletud, kuna mingi omaduse kandjaid välistades peame tagasi lükkama kõik selle omaduse kandjad eraldi ning sellega ka kõigi omaduse kandjate hulga kui terviku.
Predikaatarvutuse valemid on parajasti need, mida saab koostada alltoodud reeglite abil: • Kui P on n-kohaline predikaatsümbol ja t1,t2,...,tn on termid, siis P(t1,t2,...,tn) on predikaatarvutuse valem.
Predikaatarvutuse keel on alati kõige praktilisem, selgem või mugavam meetod ükskõik mille rangeks kirjeldamiseks, vaid et teoreetiliselt on iga range kirjeldus predikaatarvutuse abil kirja pandav.
Tulemused kuvatakse siia. Otsimiseks kirjuta üles lahtrisse(vähemalt 3 tähte pikk). Leksikon põhineb AnnaAbi õppematerjalidel(Beta).
Andmebaas (kokku 683 873 mõistet) põhineb annaabi õppematerjalidel, seetõttu võib esineda vigu! Aita AnnaAbit ja teata vigastest terminitest - iga kord võid teenida kuni 10 punkti.