Lesson 1: Foundation: Logic And Proofs Flashcards
is the study of mathematical structures that are countable or otherwise distinct or separable
Discrete Mathematics
encompasses a wide array of topics that can be used to answer many tangible question
Discrete Mathematics
Enumeration: DISCRETE MATHEMATICS CAN BA USED FOR?
- Logic
- Number Theory
- Counting
- Probability
- Recurrences
- Graph Theory
traditionally defined as the study of laws of thought and correct reasoning
Logic
usually understood in terms of inferences or arguments
Logic
basis of all mathematical reasoning and all automated reasoning
Logic
is a declarative sentence, that is declares a fact, either true or false but not both
Proposition
studies the ways statements can interact with each other
Propositional Logic/ Propositional Calculus
represented by small alphabets such as p, q, r, s
Propositional Variable
formed from existing proposition using logical operators
Compound Proposition
logical operators that are used to form a new proposition from two or more existing proposition
Connectives
Enumerate: LIST OF LOGICAL CONNECTIVES
- Negation
- Conjunction
- Disjunction
- Conditional
- Bi-Conditional
it display the table of Compound Proposition
Truth Table
The negation of the proposition can also be considered the result of the operation of the _________ on a proposition
Negation Operator
is indicated by the symbol ^
Conjunction