# Difference between revisions of "Logic"

(New page: Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive argument. {{stub}} category:definition) |
(notation) |
||

Line 1: | Line 1: | ||

− | Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive 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|Main article:Logical notation]]'' | ||

+ | '''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 ''p'', then ''q''. | ||

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

[[category:definition]] | [[category:definition]] |

## Revision as of 21:09, 5 October 2007

**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 p *implies* q, or

Ifp, thenq.

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