Download Symbols of Logic

Survey
yes no Was this document useful for you?
   Thank you for your participation!

* Your assessment is very important for improving the work of artificial intelligence, which forms the content of this project

Document related concepts

Foundations of mathematics wikipedia, lookup

History of the function concept wikipedia, lookup

Principia Mathematica wikipedia, lookup

Meaning (philosophy of language) wikipedia, lookup

Laws of Form wikipedia, lookup

Fuzzy logic wikipedia, lookup

Propositional formula wikipedia, lookup

Propositional calculus wikipedia, lookup

Truth-bearer wikipedia, lookup

Argument wikipedia, lookup

Law of thought wikipedia, lookup

Natural deduction wikipedia, lookup

Intuitionistic logic wikipedia, lookup

Modal logic wikipedia, lookup

Quantum logic wikipedia, lookup

History of logic wikipedia, lookup

Catuṣkoṭi wikipedia, lookup

Truth wikipedia, lookup

Mathematical logic wikipedia, lookup

Inquiry wikipedia, lookup

Willard Van Orman Quine wikipedia, lookup

Axiom of reducibility wikipedia, lookup

Combinatory logic wikipedia, lookup

Curry–Howard correspondence wikipedia, lookup

Jesús Mosterín wikipedia, lookup

Transcript
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 :