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