Negation, Conjunction, Disjunction, Conditional

Lecture 16 - Exam #4 - December 13th 2023

Negation

• “not”

• ~p

• “non”, “no”, “un-”

• not S

• Truth Value: Opposite TV

  • EX. F = TF

Conjunction

• “and”

• p • q and p & q

• “neither nor”, “but”, “although”, “moreover”

• S and P

• Truth Value: True if both are T

  • EX. T T = TTT

Disjunction

• “or”

• p v q

• “either or”, “at least one of two things”, “provided that” , “unless”

• S or P

• Truth Value: False if both are F

  • EX. F F = FFF

Conditional

• “if…then…”

• p ⊃ q; p → q

• “unless, only if…”

• if S then P

• Truth Value: False if Antecedent is T and Consequent is F

  • EX. T F = TFF