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