propositional logic

English

Noun

propositional logic (plural propositional logics)

1. (logic) A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives.

Synonyms

• propositional calculus
• zeroth-order logic

Translations

formal deductive system

• Czech: výroková logika f
• Finnish: propositiologiikka, lauselogiikka
• German: Aussagenlogik (de) f
• Greek: προτασιακός λογισμός (el) m (protasiakós logismós)
• (deprecated template usage) {{trans-mid}}
• 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