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
This article is a stub. Help us out by expanding it.
