Logic Edit History Talk0 667pages on this wiki Category page “Boolean logic is a complete system for logical operations. It was named after George Boole, an... Boolean logic “De Morgan's laws are a pair of simple statements relating disjunction and conjunction in formal... De Morgan's laws “See also the Wikipedia article: Logic Logic involves the systematic study of valid methods of... Logic “For background to this topic see Boolean logic Boolean logic is used in nearly every Programming... Boolean logic in Programming Languages “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 “The abbreviation QED, which stand for the Latin "quod erat demonstrandum", literally means "that... QED “When you are talking about of an relation, you gotta to think that this is inter two given sets... Equivalence relation Subcategories This category has only the following subcategory. P [×] Proof (1 P) Pages in category "Logic" The following 13 pages are in this category, out of 13 total. LogicB Boolean logic Boolean logic in Programming LanguagesD De Morgan's laws Definitions and axioms of logic E Equivalence relation Exclusive orI If and only ifM Mathematical inductionO Operations of logic P 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