| Deutsch | deu-000 |
| Aussagenlogik | |
| العربية | arb-000 | حساب القضايا |
| català | cat-000 | lògica proposicional |
| čeština | ces-000 | výroková logika |
| 普通话 | cmn-000 | 命题逻辑 |
| 普通话 | cmn-000 | 形式逻辑 |
| 國語 | cmn-001 | 命題邏輯 |
| 國語 | cmn-001 | 形式邏輯 |
| Hànyǔ | cmn-003 | ming4 ti2 luo2 ji5 |
| Hànyǔ | cmn-003 | mìng tí luó ji |
| Hànyǔ | cmn-003 | xing2 shi4 luo2 ji5 |
| ελληνικά | ell-000 | προτασιακός λογισμός |
| English | eng-000 | propositional calculus |
| English | eng-000 | propositional logic |
| suomi | fin-000 | propositiologiikka |
| français | fra-000 | calcul des propositions |
| italiano | ita-000 | logica proposizionale |
| 日本語 | jpn-000 | 命題論理 |
| 한국어 | kor-000 | 명제 계산 |
| македонски | mkd-000 | исказна логика |
| Nederlands | nld-000 | propositielogica |
| bokmål | nob-000 | setningslogikk |
| فارسی | pes-000 | حساب گزارهای |
| polski | pol-000 | rachunek zdań |
| português | por-000 | lógica proposicional |
| español | spa-000 | cálculo proposicional |
| español | spa-000 | lógica proposicional |
| svenska | swe-000 | satslogik |
| ภาษาไทย | tha-000 | แคลคูลัสเชิงประพจน์ |