Difference between revisions of "Logic"

(New page: Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive argument. {{stub}} category:definition)
 
(notation)
Line 1: Line 1:
Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive argument.
+
'''Logic''' is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument.
 
 
  
 +
==Logical Notation==
 +
''[[Logical notation|Main article:Logical notation]]''
 +
'''Logical notation''' is a special syntax that is shorthand for logical statements.
  
 +
For example, both <math>p\to q</math> and <math>p \subset q</math> mean that p ''implies'' q, or
 +
If ''p'', then ''q''.
 
{{stub}}
 
{{stub}}
 
[[category:definition]]
 
[[category:definition]]

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.

Invalid username
Login to AoPS