PanLinx
français
fra-000
logique propositionnelle
English
eng-000
propositional logic
한국어
kor-000
명제논리
韓國語
kor-002
命題論理
PanLex