3 Logical Connectives
3 Logical Connectives
LOGIC
A proposition , which is a
declarative statement with a
distinct logical value, an either be
SIMPLE (atomic) or COMPOUND
(complex or molecular)
propositions.
TYPE LOGICAL SYMBOLIC READ AS
OPERATOR FORM
NEGATION NOT ̰ NOT P
DISJUNCTION OR v P OR Q
Cat or Dog
Answer : (p ᶺ q) ᵥ r
Daniel attends the opera concert and
either Kim attends the opera concert or
Gwen will not perform in the opera
concert.
Answer: p ᶺ ( q v
Daniel and Kim will not both attend the
opera, but Lyka and Gwen will both not
perform in the opera concert.
Either Daniel or Kim attends the opera
concert, but neither Lyka or Gwen
performs in the opera concert.
If Kim attends the opera concert,
then Gwen will not perform in the
concert.
Lyka will not perform in the opera concert if
and only if Gwen will perform in the opera
concert; but Daniel will not attend the opera
concert.
WELL-FORMED FORMULA