propositional logic

Noun

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

Translations

 * Czech: výroková logika
 * Finnish: propositiologiikka, lauselogiikka
 * French: logique propositionnelle
 * German:
 * Greek:
 * Icelandic:, , ,
 * Macedonian: исказна логика
 * Polish: rachunek zdań
 * Romanian: logică propozițională