# Difference between revisions of "Logic"

(→Logical Notation) |
|||

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

==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 "If | + | For example, both <math>p\to q</math> and <math>p \subset q</math> mean that <math>p</math> ''implies'' <math>q</math>, or "If <math>p</math>, then <math>q</math>." |

− | |||

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

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

− | |||

{{stub}} | {{stub}} | ||

[[Category:Definition]] | [[Category:Definition]] | ||

[[Category:Logic]] | [[Category:Logic]] |

## Revision as of 12:59, 22 April 2008

**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 *implies* , or "If , then ."

## See Also

*This article is a stub. Help us out by expanding it.*