(2) c) Construct Prenex conjunction normal form for Ex Ey (A(x,y) → Hy (A(X,Z) ^ A(y,z))) (Note: Read as "for all" & 1 a
-
answerhappygod
- Site Admin
- Posts: 899604
- Joined: Mon Aug 02, 2021 8:13 am
(2) c) Construct Prenex conjunction normal form for Ex Ey (A(x,y) → Hy (A(X,Z) ^ A(y,z))) (Note: Read as "for all" & 1 a
(2) c) Construct Prenex conjunction normal form for Ex Ey (A(x,y) → Hy (A(X,Z) ^ A(y,z))) (Note: Read as "for all" & 1 as "for some")
Join a community of subject matter experts. Register for FREE to view solutions, replies, and use search function. Request answer by replying!