| English | eng-000 |
| propositional calculus | |
| العربية | arb-000 | حساب القضايا |
| català | cat-000 | lògica proposicional |
| čeština | ces-000 | výroková logika |
| 普通话 | cmn-000 | 命题演算 |
| 普通话 | cmn-000 | 命题逻辑 |
| 國語 | cmn-001 | 命題邏輯 |
| Hànyǔ | cmn-003 | mìng tí luó ji |
| Deutsch | deu-000 | Aussagenlogik |
| eesti | ekk-000 | lausearvutus |
| English | eng-000 | calculus of proposition |
| English | eng-000 | propositional logic |
| Esperanto | epo-000 | propozicia kalkulo |
| suomi | fin-000 | lauselogiikka |
| suomi | fin-000 | propositiologiikka |
| français | fra-000 | calcul des propositions |
| français | fra-000 | calcul propositionnel |
| italiano | ita-000 | logica proposizionale |
| 日本語 | jpn-000 | 命題論理 |
| 한국어 | kor-000 | 명제 계산 |
| македонски | mkd-000 | исказна логика |
| Nederlands | nld-000 | propositielogica |
| bokmål | nob-000 | setningslogikk |
| فارسی | pes-000 | حساب گزارهای |
| português | por-000 | Logica proposicional |
| português | por-000 | lógica proposicional |
| русский | rus-000 | исчисление высказываний |
| русский | rus-000 | пропозициональное исчисление |
| español | spa-000 | cálculo proposicional |
| español | spa-000 | lógica proposicional |
| svenska | swe-000 | satslogik |
| ภาษาไทย | tha-000 | ตรรกศาสตร์เชิงประพจน์ |
| ภาษาไทย | tha-000 | แคลคูลัสเชิงประพจน์ |
| Türkçe | tur-000 | önermeler hesabı |