Difference between revisions of "Logic"
(category) |
(expand) |
||
| Line 1: | Line 1: | ||
| − | '''Logic''' is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument. | + | '''Logic''' is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument. it is sometimes considered a branch of [[abstract algebra]]. |
==Logical Notation== | ==Logical Notation== | ||
| Line 6: | Line 6: | ||
'''Logical notation''' is a special syntax that is shorthand for logical statements. | '''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 | + | For example, both <math>p\to q</math> and <math>p \subset q</math> mean that p ''implies'' q, or "If ''p'', then ''q''." |
| − | + | Note that this can be also written <math>p \cup ~q</math>, or "''p'' or not ''q''". | |
| + | ==See Also== | ||
| + | *[[Dual]] | ||
| + | *[[Abstract algebra]] | ||
{{stub}} | {{stub}} | ||
| − | [[ | + | [[Category:Definition]] |
[[Category:Logic]] | [[Category:Logic]] | ||
Revision as of 10:51, 23 November 2007
Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument. it is sometimes considered a branch of abstract algebra.
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."
Note that this can be also written 
, or "p or not q".
See Also
This article is a stub. Help us out by expanding it.
