Answer Happy • (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

Page 1 of 1

(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

Posted: Sat May 14, 2022 3:30 pm

by answerhappygod

: 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 1 (11.15 KiB) Viewed 40 times

(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")