Logo
Unioonpeedia
Side
Hankige see Google Play
Uus! Lae Unioonpeedia oma Android ™!
Free
Kiiremini kui brauser!
 

Tõepredikaat

Index Tõepredikaat

Tõepredikaat ehk tõesuspredikaat on loomuliku keele öeldistäide koos koopulaga või formaalse keele predikaat, mida vähemalt näiliselt kasutatakse mainitavale tõekandjale (loogikas mugavuse pärast tavaliselt lausele) tõesuse omistamiseks.

9 suhted: Algmõiste, Implikatsioon, Klassikaline loogika, Koopula, Lause, Parajasti siis, kui, Tõesus, Tehiskeel, 1935.

Algmõiste

Algmõiste on mõiste, mida mingis mõistete süsteemis otseselt ei defineerita, küll aga kasutatakse teiste mõistete defineerimisel.

Uus!!: Tõepredikaat ja Algmõiste · Näe rohkem »

Implikatsioon

A \rightarrow B. The circle on the left bounds all members of set A, and the one on the right bounds all members of set B. The red area describes all members for which the material conditional is true, and the white area describes all members for which it is false. The material conditional differs significantly from a natural language's "if...then..." statement. It is only false when both the antecedent A is true and the consequent B is false Implikatsioon ehk materiaalne implikatsioon on tõeväärtuste algebras ehk loogikaalgebras binaarne tehe, mille tulem on väär parajasti siis, kui tehte esimene operand on tõene ja teine operand on väär. Implikatsiooni saab tähistada järgnevalt.

Uus!!: Tõepredikaat ja Implikatsioon · Näe rohkem »

Klassikaline loogika

Klassikaline loogika (inglise classical logic), ka standardloogika (inglise standard logic), on matemaatilise loogika osa, mis koosneb klassikalisest lauseloogikast ja predikaatloogikast.

Uus!!: Tõepredikaat ja Klassikaline loogika · Näe rohkem »

Koopula

Koopulaks ehk köitmeks nimetatakse traditsioonilises loogikas väljendit, mis seob subjekti (seda, mille kohta midagi öeldakse) predikaadiga (sellega, mida subjekti kohta öeldakse).

Uus!!: Tõepredikaat ja Koopula · Näe rohkem »

Lause

Lause on keeleüksus, mis on grammatiliselt ja intonatsiooniliselt vormistatud ning kannab terviklikku mõtet.

Uus!!: Tõepredikaat ja Lause · Näe rohkem »

Parajasti siis, kui

"Parajasti siis, kui" ja "siis ja ainult siis, kui" on loomuliku keele väljendid, millega loogikas, matemaatikas, filosoofias ja nende rakendustes väljendatakse loogilist ekvivalentsi.

Uus!!: Tõepredikaat ja Parajasti siis, kui · Näe rohkem »

Tõesus

Tõesus on teatav omadus, mida omistatakse propositsioonidele, väidetele, mõtetele, uskumustele jne ning ka lausetele ja lausungitele.

Uus!!: Tõepredikaat ja Tõesus · Näe rohkem »

Tehiskeel

Tehiskeel ehk formaalne keel ehk formaalkeel on inimese kujundatud kunstkeel.

Uus!!: Tõepredikaat ja Tehiskeel · Näe rohkem »

1935

1935.

Uus!!: Tõepredikaat ja 1935 · Näe rohkem »

Ümbersuunamised siin:

Tõesuspredikaat.

VäljuvSaabuva
Hei! Oleme Facebookis nüüd! »