Mathematics comes from the Greek word for knowledge and can be viewed as a conceptual system, a process of thinking, or a language. The document defines key logical terms like propositions, propositional variables, binary connectives, tautologies, contradictions, and implications. It also discusses propositional functions, quantification, and the negation of quantifications.
Mathematics comes from the Greek word for knowledge and can be viewed as a conceptual system, a process of thinking, or a language. The document defines key logical terms like propositions, propositional variables, binary connectives, tautologies, contradictions, and implications. It also discusses propositional functions, quantification, and the negation of quantifications.
Mathematics comes from the Greek word for knowledge and can be viewed as a conceptual system, a process of thinking, or a language. The document defines key logical terms like propositions, propositional variables, binary connectives, tautologies, contradictions, and implications. It also discusses propositional functions, quantification, and the negation of quantifications.
- Mathematics comes from the Greek word, “mathema” which means knowledge.
- Math is the language of the universe. (Galileo)
- Math is a conceptual system. (David Hilbert) - It can also be viewed as a process of thinking, a set of problem-solving tools, an art, a study of patterns, and as a LANGUAGE. - Proposition is a declarative sentence which is either true or false. - PROPOSITIONAL VALUABLES: p,q,r - If the original proposition is true, then the negation is false.
- Tautology is a compound proposition that is always true
- Contradiction is a compound proposition that is always false - Contingency is neither a tautology nor a contradiction - Logical equivalence is a biconditional which is a tautology
Implications
Ex. If today is Thursday, then I have a test today.
- Converse Ex. If I have a test today, then today is Thursday. - Inverse Ex. IF today is not Thursday, then I do not have a test today. - Contrapositive Ex. If I do not have a test today, then today is not Thursday
Propositional Functions
- Statements about a variable
- Predicate, Argument
Quantification
- Universal quantification- For all x, P(x)
- Existential quantification- There exists an x such that P(x)