propositional logic

English Wikipedia has an article on:

propositional logic

Wikipedia

propositional logic (plural propositional logics)

(logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.
Synonyms: propositional calculus, zero-order logic

Hypernyms: logic; see also Thesaurus:logic

formal deductive system

Czech: výroková logika f
Finnish: propositiologiikka, lauselogiikka
French: logique propositionnelle f
German: Aussagenlogik (de) f
Greek: προτασιακός λογισμός (el) m (protasiakós logismós)
Icelandic: ^{(please verify)} yrðingareikningur m, ^{(please verify)} fullyrðingareikningur m, ^{(please verify)} yrðingarökfræði f, ^{(please verify)} fullyrðingarökfræði f
Macedonian: исказна логика f (iskazna logika)
Polish: rachunek zdań m
Romanian: logică propozițională f