Unit 10 Exercises

1. Show that all.gif (70 bytes) x P(x) and.gif (67 bytes) exists.gif (61 bytes) x Q(x) and exists.gif (61 bytes) x(P(x) and.gif (67 bytes)Q(x)) are not logically equivalent.

2. Show that all.gif (70 bytes) x P(x) and.gif (67 bytes) exists.gif (61 bytes) x Q(x) and all.gif (70 bytes) x exists.gif (61 bytes) y(P(x) and.gif (67 bytes)Q(y)) are equivalent.

 

Answers for these exercises