“De Morgan's laws are a pair of simple statements relating disjunction and conjunction in formal...De Morgan's laws
“A proof is a mathematical argument used to verify the truth of a statement. This usually takes...Proof
“Logic involves the systematic study of valid methods of argument and inference. It can be seen...Logic
“Early implicit traces of mathematical induction can be found in Euclid's proof that the number...Mathematical induction
“If and only if (shortened to iff) is a logical connective between statements which means that...If and only if
“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.