Difference between revisions of "Logic"
(main) |
(category) |
||
| Line 10: | Line 10: | ||
{{stub}} | {{stub}} | ||
[[category:definition]] | [[category:definition]] | ||
| + | [[Category:Logic]] | ||
Revision as of 10: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 
and 
mean that p implies q, or
If p, then q.
This article is a stub. Help us out by expanding it.
