2. Translate the following predicate calculus formulas intoEnglish statements. Constants have their obvious meanings.
a) VX [apple(X)=>(red(X)vgreen(X))
b) VXV YVZ [father(X,Y)Aancestor(Y,Z) =>ancestor(X,Z)]
c) VX 3Y father(Y,X)
2. Translate the following predicate calculus formulas into English statements. Constants have their obvious meanings. a
-
- Site Admin
- Posts: 899603
- Joined: Mon Aug 02, 2021 8:13 am