# Difference between revisions of "Logic"

(expand) |
(→Logical Notation) |
||

Line 7: | Line 7: | ||

For example, both <math>p\to q</math> and <math>p \subset q</math> mean that p ''implies'' q, or "If ''p'', then ''q''." | 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 | + | Note that this can be also written <math>p \cup \neg q</math>, or "''p'' or not ''q''". |

+ | |||

==See Also== | ==See Also== | ||

*[[Dual]] | *[[Dual]] |

## Revision as of 10:04, 21 April 2008

**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.*