Survey
* Your assessment is very important for improving the workof artificial intelligence, which forms the content of this project
Download Symbols of Logic
Document related concepts
Axiom of reducibility wikipedia , lookup
History of the function concept wikipedia , lookup
Fuzzy logic wikipedia , lookup
Meaning (philosophy of language) wikipedia , lookup
Truth-bearer wikipedia , lookup
Willard Van Orman Quine wikipedia , lookup
Quantum logic wikipedia , lookup
Mathematical logic wikipedia , lookup
Natural deduction wikipedia , lookup
Curry–Howard correspondence wikipedia , lookup
Modal logic wikipedia , lookup
Combinatory logic wikipedia , lookup
History of logic wikipedia , lookup
Foundations of mathematics wikipedia , lookup
Propositional calculus wikipedia , lookup
Jesús Mosterín wikipedia , lookup
Law of thought wikipedia , lookup
Intuitionistic logic wikipedia , lookup
Propositional formula 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 :
