Negation of All Participants Being IT and Math Majors: Using Basic Logic Laws

  • Thread starter Thread starter sapiental
  • Start date Start date
  • Tags Tags
    Logic
Join the discussion
Registration is free. Start your own thread to ask a follow-up.
Sign up Log in
1 reply · 4K views
sapiental
Messages
110
Reaction score
0

Homework Statement



Use logic to write the negation of the sentence: All participants of this course are IT majors and are Math majors (be careful, use basic logic laws)


Homework Equations



DeMorgan's Law

The Attempt at a Solution



Letting P(x) be Participants who are IT majors and Q(x) participants who are Math majors.

¬∀∧P(x))) ⇔∃n(¬(P(x)∧Q(x)))
⇔n(P(x)∃¬∨¬Q(x))

In English

There exists a participant in this course who is not an IT major or not a Math Major.

Hi, could someone please verify my answer? Thanks a ton.
 
Physics news on Phys.org

Discussion

Yes, that's right. Can't you tell from reading the sentence?