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 
and 
mean that p implies q, or
If p, then q.
This article is a stub. Help us out by expanding it.
