Using CP or otherwise show the following implications (a) (3x) P(x) (x)Q(x)) = (x) (P(x)...

Transcribed Image Text:

Using CP or otherwise show the following implications (a) (3x) P(x) → (x)Q(x)) = (x) (P(x) → Q(x)) (b) (x) (P(x) → Q(x))), (x) (R(x) → 1Q(x))) = (x)(R(x) → 1P (x)) - Using CP or otherwise show the following implications (a) (3x) P(x) → (x)Q(x)) = (x) (P(x) → Q(x)) (b) (x) (P(x) → Q(x))), (x) (R(x) → 1Q(x))) = (x)(R(x) → 1P (x)) -

Answer rating: 100% (QA)

a To show that 3xPx Qx xPx Qx holds we can assume that 3xPx Qx is true and show that xPx Qx must als... View the full answer