Difference between revisions of "Logic"

(notation)
(Logical Notation)
Line 3: Line 3:
 
==Logical Notation==
 
==Logical Notation==
 
''[[Logical notation|Main article:Logical notation]]''
 
''[[Logical notation|Main article:Logical notation]]''
 +
 
'''Logical notation''' is a special syntax that is shorthand for logical statements.
 
'''Logical notation''' is a special syntax that is shorthand for logical statements.
  

Revision as of 20:09, 5 October 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.