Logic: Difference between revisions
main |
|||
| Line 2: | Line 2: | ||
==Logical Notation== | ==Logical Notation== | ||
{{main|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:11, 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.
