各種語言釋義
- 形式命题演算
- 形式命題演算
- Formal Propositional Calculus
- Calcul formel de la proposition
- Cálculo proposicional formal
- Cálculo Propositional Formal
- формальное исчисление высказываний
- اقتراح رسمي حساب التفاضل والتكامل
- Formelle Propositional Calculus
- 形式命題計算
- 형식 명제 연산
- แคลคูลัสข้อเสนออย่างเป็นทางการ