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
Propositions Oct 11, 2023 permanent DiscreteMath MathematicalLogic Declarative sentences that are either true or false (but not both) Read More
