Professional Documents
Culture Documents
Reviewer Itep 102
Reviewer Itep 102
TOPIC 1: LOGIC AND PROPOSITIONS - List all the possible condition of truth value (decision
Logic and Mathematical reasoning value) for P1 . . . . . Pn . Also called logical matrix
- numerous applications in computer science as well as in (professional term).
I.T. Truth Table (Conjunction)
- used in the design of computer circuits, development of p q p^q
computer programs, verification of the correctness of the T T T
programs T F F
- Verification Of the correctness (2) F T F
1. Workability - execution of the program (syntax F F F
errors) - How to know the number of possible condition 2 as base
2. Accuracy - correct output of the program (logical for the number of truth value (true (1) and false (2)) and
𝑛
errors) the exponent as the number of proposition (2 ).
- Process of CORRECT REASONING Example:
- FOCUS on RELATION (relationship between statements over p q r ?
other statements) T T T
Propositions T T F
- basic building block of logic T F T
- is a declarative sentence that is either true or false, but T F F
not both. F T T
- Declarative sentence that is either ANSWERABLE F T F
with YES/NO F F T
- TRUTH VALUE: know whether the proposition is F F F
either TRUE/FALSE
2. Disjunction
Examine whether the following are propositions or not proposition
- p v q (read as p or q)
1. Earth is the only planet in the universe that has life.
- is the proposition that is false when both p and q
is false and is true otherwise.
2. 3 is an odd integer.
Truth Table (Disjunction)
p q pv q
3. Quezon City is the capital of the Philippines.
T T T
T F T
4. 12 /4 = 3.
F T T
F F F
5. Who are you talking to?
3. Negation
6. Read this sentence carefully.
- ¬True = False
- ¬False = True
7. X + 4 = 1
- ¬ (read as not)
8. V + V =W Example:
a)
Logical Connectives p: a decade is 10 years. True
1. Conjunction q: 5! = 120. True
- Standard notation (ALWAYS start with p: - lowercase means r: 5 * 7 = 36. False
specific; 𝑃1 - uppercase means general or 𝑃1 = 𝑝^𝑞) s: 1 * 3 = 2. False
- p^q (read as propositions p and q or p and q)
Example:
p: 1 + 1 = 2
q: 1 + 3 = 4
p^q = 1 + 1 = 2 and 1 + 3 = 4. Don’t forget the period
= p^q b)
= T^T
=T
TRUTH VALUE: both true = true and if with one or two false = false
4. Conditional Proposition & Logic Equivalence - Truth Value of Conditional Proposition
- The proposition p is called the hypothesis ( or a. p->q
antecedent ) and proposition q is called the conclusion =T->T
( or consequent ) =T
- If p then q / p -> q b. p->q
- if p (,) then q. =F->T
Example =T
p: The math dept, gets an additional Php.20.000. 6. Biconditional Proposition
q: The math dept, hires one new faculty member. - “p if and only if q” is called biconditional proposition
- If Math Dept gets an additional Php.20.000, then it will and is denoted by p <-> q
hire one new faculty member. - An alternate way to state “p if and only if q” is “p is a
necessary and sufficient condition for q”, or “p iff q”
RULES FORM OF CONDITIONAL PROPOSITION Truth Table
1. The hypothesis is the clause following the if. p q p<->q
- transposition/ (statement 1 -> statement 2) T T T
2. The only if clause is the conclusion, if p -> q is T F F
considered logically the same as p only if q. F T F
- No transposition F F T
- may -> if // only if -> then - proposition p and q must have the same value
3. When means the same as if. Example
- no transposition p: 1<5
4. The conclusion expresses, a “necessary condition” q: 2<8
- no transposition - 1 < 5 if and only if 2 < 8
- “a necessary condition for” == if - p<->q
5. The hypothesis expresses, a “sufficient condition” - p<->q
- transposition = T<->T
Truth Table =T
p q p->q 7. Logically Equivalent Proposition
T T T - two diff. compound propositions have the same truth
T F F values no matter what truth values their constituents
F T T have
F F T - denoted by P≡Q
- Conclusion is false/proposition q == false 1. ¬(p v q) ≡ ¬p v ¬q
Truth Table
5. Converse p q p v q ㄱ(pvq) ㄱp ㄱq ㄱp v ㄱq
- converse of conditional proposition p->q is q->p T T T F F F F
- reverses the roles of p and q T F T F F T T
Truth Table F T T F T F T
p q q->p F F F T T T T
T T T
T F T 8. Contrapositive
F T F - logically equivalent form of the conditional
F F T proposition
- Conclusion is false/proposition q == false - Transposition
Example - The Contrapositive of conditional proposition
a) if 1<2 , then 3<6 p->q is ¬q -> ¬ p
b) if 1>2, then 3<6 - Contrapositive reverses the notes of p and q and
- Conditional Proposition Symbolically negates each of them
a. p->q Example:
b. p->q p: 1<4 q: 5>8