Logic Edit Classic editor History Talk0 872pages on this wiki Category page “In math, a relation (called R) inter two sets: a set A and a set B, is a subset of their... Relation between sets Boolean logic “De Morgan's laws are a pair of simple statements relating disjunction and conjunction in formal... De Morgan's laws “Logic involves the systematic study of valid methods of argument and inference. It can be seen... Logic “For background to this topic see Boolean logic Boolean logic is used in nearly every Programming... Boolean logic in Programming Languages “The elementary operations of logic include AND, OR and NOT. Often times amateur mathematicians... Operations of logic “If and only if (shortened to iff) is a logical connective between statements which means that... If and only if “A proof is a mathematical argument used to verify the truth of a statement. This usually takes... Proof Subcategories This category has only the following subcategory. P [×] Proof (1 P) Pages in category "Logic" The following 14 pages are in this category, out of 14 total. LogicB Boolean logic Boolean logic in Programming LanguagesD De Morgan's laws Definitions and axioms of logic E Equivalence relation Exclusive orH History of logicI If and only ifM Mathematical induction O Operations of logicP ProofQ QEDR Relation between sets Media in category "Logic" The following 3 files are in this category, out of 3 total. Alf0.PNG 18 KB Alf1.PNG 19 KB Alf2.PNG 19 KB Categories: Mathematics Foundations Add category Cancel Save