Logic Edit Classic editor History Talk0 856pages 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 “For background to this topic see Boolean logic Boolean logic is used in nearly every Programming... Boolean logic in Programming Languages “De Morgan's laws are a pair of simple statements relating disjunction and conjunction in formal... De Morgan's laws “An identity is an equality that holds true regardless of any value of the variables in it. Identity “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 “An operation is said to be distributive over another operation if for any of the values , and , . Distributivity Subcategories This category has only the following subcategory. P [×] Proof (1 P) Pages in category "Logic" The following 16 pages are in this category, out of 16 total. LogicB Boolean logic Boolean logic in Programming LanguagesD De Morgan's laws Definitions and axioms of logic Distributivity E Equivalence relation Exclusive orH History of logicI Identity 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