Basic Logic Symbols
Basic Logic Symbols
Basic Logic Symbols
; if A is false then nothing is said about B. implies; if .. then may mean the same as (the symbol may also x = 2 x2 = 4 is true, but x2 = indicate the domain and codomain of a function; 4 x = 2 is in general false (since see table of mathematical symbols). x could be 2). may mean the same as (the symbol may also mean superset). Explanation Examples
! & +
material equivalence if and only if; iff propositional logic negation not propositional logic logical conjunction and propositional logic logical disjunction or propositional logic exclusive disjunction The statement A B is true if A or B (or both) are n 4 n 2 n 3 when n is a true; if both are false, the statement is false. natural number. The statement A B is true if A and B are both true; else it is false. n < 4 n >2 n = 3 when n is a natural number. The statement A is true if and only if A is false. A slash placed through another operator is the same as "" placed in front. (A) A x y (x = y) A B means A is true if and only if B is true. x + 5 = y +2 x + 3 = y
The statement A B is true when either A or B, but not both, are true. A B means the same.
Tautology T 1 top The statement is unconditionally true. propositional logic, Boolean algebra Contradiction F 0 bottom The statement is unconditionally false. propositional logic, Boolean algebra universal quantification for all; for any; for each predicate logic existential quantification there exists first-order logic uniqueness quantification ! ! x: P(x) means there is exactly one x such that there exists exactly P(x) is true. one first-order logic := : definition is defined as everywhere precedence grouping everywhere x := y or x y means x is defined to be another name for y (but note that can also mean other things, such as congruence). P : Q means P is defined to be logically equivalent to Q. ! n N: n + 5 = 2n. x: P(x) means there is at least one x such that P(x) is true. n N: n is even. x: P(x) means P(x) is true for all x. n N: n2 n. A is always true. A is always true.
()
Turnstile provable propositional logic, first-order logic double turnstile entails propositional logic, first-order logic x y means x semantically entails y A B B A x y means y is provable from x (in some specified formal system). A B B A