Professional Documents
Culture Documents
Logic (Propositions) : Definition of Terms
Logic (Propositions) : Definition of Terms
Example:
A. Construct a truth table for
a. ~ (P ∧ Q) b. ~ (P ∨ Q) c. ~ (P ∧ ~Q)
~ (P ∧ Q) ~ (P ∨ Q) ~ (P ∧ ~Q)
P Q P∧Q ~ (P ∧ P Q P∨Q ~ (P ∨ P Q ~Q (P ∧ ~Q) ~ (P ∧ ~Q)
Q) Q)
T T T F T T T F T T F F T
T F F T T F T F T F T T F
F T F T F T T F F T F F T
F F F T F F F T F F T F T
B. Construct a truth table for
a. P → ~Q b. P ∨ (Q→~P) c. (P → Q) ↔ (~P ∨ Q)
4.
5.
Identify the hypothesis P and conclusion Q, then write the different forms of conditional statement.
1. If you pass Math, then you must have passing scores on all the tests.
2. If Kate is selected as muse, then our class will be on the finals.
3. If you eat Malunggay, you will be strong.
Example:
Show that the compound statement is a tautology by constructing truth table.
a. ( P →Q)↔( Q → P)
b. ( P ∧Q ) ↔( P ∨ Q)
c. [ P ∨ ( P ) ] ∧[Q∨ ( Q ) ]
Determine whether the argument is valid or an example of fallacy using contradiction.
1. P: One loves Algebra.
Q: One loves Math.
3. P →Q 4. P →Q 5. ( P ∧Q)∧(Q ∧ P)
~P ~Q P
∴ ~Q ∴P ∴ P∨ Q