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
is indicated by the symbol v
Disjunction
a Disjunction is false when both are true and both are false
Exclusive or
a Disjunction is true when at least one of the two proposition is true
Inclusive or
is indicated by the symbol ->
Conditional Statement
If there is a proposition that has a form of if p then q, then that type of proposition will be called _________ or _________
Implication; Conditional Proposition
In proposition if p then q, the p will be called ________ and q is _________
Hypothesis; Conclusion
Conditional Statement is also called _________
Implication
is indicated by the symbol <–>
Bi-conditional/ Double Implication
helps to decide which operator will get evaluated first in a complicated looking compound proposition
Precedence of Operators
Enumerate: PRECEDENCE OF OPERATORS(IN ORDER)
- Negation
- Conjunction
- Disjunction
- Implication
- Bi-conditional
truthtable probability formula with 2 possibilities (true/false)
2^n