Logic

Revision as of 11:59, 22 April 2008 by JBL (talk | contribs)

Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument.

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$."

See Also

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