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.
- 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".
This article is a stub. Help us out by expanding it.