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

Formaalloogika

Index Formaalloogika

Formaalloogika ehk formaalne loogika tegeleb sellega, kuidas järeldada tõestest väidetest tõeseid väiteid, kuid reeglina ei ütle, millised väited on tõesed.

4 suhted: Lause, Matemaatiline loogika, Tõesus, Väide.

Lause

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

Uus!!: Formaalloogika ja Lause · Näe rohkem »

Matemaatiline loogika

Matemaatiline loogika ehk sümbolloogika on matemaatika haru, mis uurib matemaatilisi tõestusi ja matemaatika aluseid.

Uus!!: Formaalloogika ja Matemaatiline loogika · 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!!: Formaalloogika ja Tõesus · Näe rohkem »

Väide

Väide on propositsioon, mida väidetakse.

Uus!!: Formaalloogika ja Väide · Näe rohkem »

Ümbersuunamised siin:

Formaalne loogika.

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