Logic

From AoPSWiki

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

• Dual

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