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 »