Difference between revisions of "Logic"

(main)
(category)
Line 10: Line 10:
 
{{stub}}
 
{{stub}}
 
[[category:definition]]
 
[[category:definition]]
 +
[[Category:Logic]]

Revision as of 11:49, 23 November 2007

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.

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