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, zero-order logic

   Hypernyms: logic; see also Thesaurus:logic

Translations

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