(x)(Fx → ($y)~Fy) may be validly inferred from (x)(Fx → ~(y)Fy).

Name: (x)(Fx → ($y)~Fy) may be validly inferred from (x)(Fx → ~(y)Fy).
Brand: Quizplus
Rating: 4.8 (33 reviews)

Question

Quizplus · Accepted Answer

The first premise states that for all x, if Fx then not all y satisfy Fy. The second premise states that for all x, if Fx then no y satisfies Fy. The second premise is a stronger statement than the first, so the first premise can be validly inferred from the second.

(X)(Fx → ($Y)~Fy) May Be Validly Inferred from (X)(Fx →