During AMC testing, the AoPS Wiki is in read-only mode. No edits can be made.

# Logic

Logic is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument.

## Logical Notation

Logical notation is a special syntax that is shorthand for logical statements.

For example, both $p\to q$ and $p \subset q$ mean that p implies q, or

If p, then q.