propositional logic

English

Noun

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
zeroth-order logic

Translations

formal deductive system

Czech: výroková logika f
Finnish: propositiologiikka, lauselogiikka
German: Aussagenlogik (de) f
Greek: προτασιακός λογισμός 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 (ískazna lógika)
Polish: rachunek zdań m

This article is issued from Wiktionary. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.