Predicate Logic
An extension of propositional logic that involves variables and quantifiers.
DiscreteMath
-
-
Propositional Logic
A system that deals with statements that are either true or false
-
Propositions
Declarative sentences that are either true or false (but not both)
-
Function
A rule that matches inputs with outputs.
-
Discrete Mathematics Course Notes
Notes from Discrete Mathematics by University of London
-
Set
A set is a unique collection of well-defined objects.