- #1
ver_mathstats
- 260
- 21
Homework Statement
Let U be universe under consideration, let P(x) and Q(x) be predicate with free variable x. Find a useful denial.
1. (∀x∈U)(Q(x)∨P(x))
2. (∃x∈U)(Q(x)∧P(x)). Use implication afterwards.
Homework Equations
The Attempt at a Solution
[/B]
My answer for 1 is:
(∃x∈U)(¬Q(x)∧¬P(x))
My answer for 2 is:
(∀x∈U)(¬Q(x)∨¬P(x)), and the implication would be if Q is true then P is false.
I am unsure of if the implication is correct as I am new to this.
Are my answers correct?
Thank you.