PanLinx
polski
pol-000
rachunek zdań
čeština
ces-000
výroková logika
Deutsch
deu-000
Aussagenlogik
ελληνικά
ell-000
προτασιακός λογισμός
English
eng-000
propositional logic
македонски
mkd-000
исказна логика
PanLex