“De Morgan's laws are a pair of simple statements relating disjunction and conjunction in formal...De Morgan's laws
“In math, a relation (called R) inter two sets: a set A and a set B, is a subset of their...Relation between sets
“Early implicit traces of mathematical induction can be found in Euclid's proof that the number...Mathematical induction
“A proof is a mathematical argument used to verify the truth of a statement. This usually takes...Proof
“For background to this topic see Boolean logic Boolean logic is used in nearly every Programming...Boolean logic in Programming Languages
“The abbreviation QED, which stand for the Latin "quod erat demonstrandum", literally means "that...QED
This category has the following 4 subcategories, out of 4 total.
Pages in category "Logic"
The following 18 pages are in this category, out of 18 total.