Logic

Revision as of 10:04, 21 April 2008 by 1=2 (talk | contribs) (Logical Notation)

Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument. it is sometimes considered a branch of abstract algebra.

Logical Notation

Main article: Logical notation

Logical notation is a special syntax that is shorthand for logical statements.

For example, both $p\to q$ and $p \subset q$ mean that p implies q, or "If p, then q." Note that this can be also written $p \cup \neg q$, or "p or not q".

See Also

This article is a stub. Help us out by expanding it.

Invalid username
Login to AoPS