Download Symbols of Logic

Symbols of Logic

-LOGIC-
 Math's logic is considered the science of reasoning and
demonstration. Logic is especially important in
mathematics and philosophy, but is also used on our dally
routine without even noticing.
History of Logical Symbols

 A simple statement is one that does not contain any
other statement as a part. We will use the lowercase letters, p, q, r, ..., as symbols for simple
statements.

 Simple statements :
p
‘’p is true’’
~p
‘’p is false’’
assertion
negation
Ex.: p: Sun is a star ( T )
~p: Sun isn’t a star ( F )
In conclusion two denies equals to an affirmation. Ex: ~(~p)
=p.
 A truth table is a complete list of the possible truth
values of a statement.

 A truth table is a mathematical table used in logic
specifically in connection with Boolean algebra,
boolean functions, and propositional calculus.
.

 Compounds and connectives :