Difference between revisions of "Logic"

Revision as of 11:59, 22 April 2008

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

Main article: 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$ ."

@@ Line 1: / Line 1: @@
-'''Logic''' is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument. it is sometimes considered a branch of [[abstract algebra]].
+'''Logic''' is the systematic use of symbolic and mathematical techniques to determine the forms of valid deductive or inductive argument.
 ==Logical Notation==
@@ Line 6: / Line 6: @@
 '''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''."
+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>."
-Note that this can be also written <math>p \cup \neg q</math>, or "''p'' or not ''q''".
 ==See Also==
 *[[Dual]]
-*[[Abstract algebra]]
 {{stub}}
 [[Category:Definition]]
 [[Category:Logic]]