propositional logic

listen to the pronunciation of propositional logic
İngilizce - Türkçe
(Felsefe) Önermeli mantık
propositional calculus
(Felsefe) Önermeli mantık
propositional calculus
onermeler hesabi
İngilizce - İngilizce
A formal deductive system in which formulae representing propositions can be formed by combining atomic propositions using logical connectives
(Felsefe) A branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them, propositional calculus
a branch of symbolic logic dealing with propositions as units and with their combinations and the connectives that relate them
propositional calculus
propositional logic