Professional Documents
Culture Documents
DISCRETE STRUCTURE
Used to combine
propositions
KINDS OF CONNECTIVES
Rule
Let P and Q be two propositions. Then P=>Q is false if P is true
and Q is false, and P=>Q is true otherwise. P=>Q is called the
conditional of P and Q. “If P, then Q”, in other words, P=>Q
means that whenever P is correct, so is Q. The statement P is
called the antecedent and Q the consequent.
BICONDITIONAL
Rule
Let P and Q be two propositions. Then P<=>Q is true
whenever P and Q have the same truth-values. P<=>Q is
called the biconditional or equivalence and it is
pronounced “P if and only if Q” or “P iff Q” as an
abbreviation.
TRANSLATING FROM ENGLISH TO SYMBOLS
TRANSLATING FROM ENGLISH TO SYMBOLS
ACTIVITY 2:
LOGICAL CONNECTIVES
Using the statements M for “Mariz is rich” and C for “Mariz is happy”,
respectively, write the ff statements in symbolic form: