de
Aussagenlogik
zh
命题逻辑
tr
Önermeler mantığı
sr
Исказни рачун
ru
Логика высказываний
pt
Lógica proposicional
pl
Rachunek zdań
it
Logica proposizionale
fr
Calcul des propositions
es
Lógica proposicional
en
Propositional calculus
bg
Пропозиционална логика
vi
Mệnh đề toán học
uk
Числення висловлень
th
แคลคูลัสเชิงประพจน์
sv
Satslogik
sl
Propozicijska logika
sk
Výroková logika
ps
قضیوي حساب (منطق)
nb
Setningslogikk
nn
Utsegnslogikk
nl
Propositielogica
lt
Teiginių logika
la
Logica propositionalis
ky
Логикалык сүйлөө
ko
명제 논리
ja
命題論理
io
Propozicionala logiko
id
Kalkulus proposisional
hy
Ասույթների տրամաբանություն
hu
Ítéletlogika
hi
प्रतिज्ञप्तिक कलन
he
תחשיב הפסוקים
gl
Lóxica proposicional
frr
Ütjsaagenloogik
fi
Propositiologiikka
fa
حساب گزارهای
eu
Logika proposizional
et
Lauseloogika
eo
Asertologiko
el
Προτασιακός λογισμός
cy
Rhesymeg osodiadol
cv
Каланăлăхсен шутлавĕ
cs
Výroková logika
ca
Lògica proposicional
be
Логіка выказванняў
ast
Lóxica proposicional
ar
حساب القضايا
af
Proposisionele logika
Die Aussagenlogik ist ein Teilgebiet der Logik, das sich mit Aussagen und deren Verknüpfung durch Junktoren befasst, ausgehend von strukturlosen Elementaraussagen (Atomen), denen ein Wahrheitswert zugeordnet wird. In der klassischen Aussagenlogik wird jeder Aussage genau einer der zwei Wahrheitswerte „wahr“ und „falsch“ zugeordnet. Der Wahrheitswert einer zusammengesetzten Aussage lässt sich ohne zusätzliche Informationen aus den Wahrheitswerten ihrer Teilaussagen bestimmen. Mehr lesen