Operations of logic

From Iron Chariots Wiki
Revision as of 08:11, 20 December 2009 by Murphy (Talk | contribs)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to: navigation, search
Wikipedia-logo-en.png
For more information, see the Wikipedia article:

The three simplest operations of logic are:

  • negation — "not"
  • conjunction — "and"
  • disjunction — "or"

Other operations that can be expressed in terms of the first three include:

  • implication — "implies" or "if... then"
  • equivalence — "if and only if"
  • exclusive disjunction — "either... or... but not both"

There are several others; see Wikipedia:Logical connective for more information.


v · d Formal logic
Three classic laws   Law of identity · Law of noncontradiction · Law of the excluded middle
Logical constructions   Antecedent · Consequent · Premise · Conclusion · Dichotomy
Logical operators   Negation (not) · Conjunction (and) · Disjunction (or) · Material implication (if then) · Biconditional (if and only if)
Personal tools
Namespaces
Variants
Actions
wiki navigation
IronChariots.Org
Toolbox