Propositional_Logic

Propositional Logic

Statements

Propositions Compound Propositions Connectives Logical Equivalence

Sets

Predicates Quantifiers sets set definition used for this course, originally for maths set equivalence

functions

functions