Predicate Logic Oct 13, 2023 permanent DiscreteMath MathematicalLogic An extension of propositional logic that involves variables and quantifiers. Read More
Propositional Logic Oct 12, 2023 permanent DiscreteMath MathematicalLogic A system that deals with statements that are either true or false Read More
