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