| français | fra-000 |
| calcul propositionnel | |
| English | eng-000 | propositional calculus |
| English | eng-000 | propositional logic |
| suomi | fin-000 | lauselogiikka |
| suomi | fin-000 | propositiologiikka |
| français | fra-000 | calcul des propositions |
| 日本語 | jpn-000 | 命題論理 |
| português | por-000 | Logica proposicional |
| português | por-000 | lógica proposicional |
| ภาษาไทย | tha-000 | ตรรกศาสตร์เชิงประพจน์ |
| ภาษาไทย | tha-000 | แคลคูลัสเชิงประพจน์ |