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

[sapiental]

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.

 

[zhentil]

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