- #1
Johnny Leong
- 48
- 0
Represent this sentence in first-order logic:
Every student who takes French passes it.
Represent the sentence "All Germans speak the same languages" in predicate calculus. Use Speaks(x, l), meaning that person x speaks language l.
What axiom is needed to infer the fact Female(Laura) given the facts Male(Jim) and Spouse(Jim, Laura)?
Every student who takes French passes it.
Represent the sentence "All Germans speak the same languages" in predicate calculus. Use Speaks(x, l), meaning that person x speaks language l.
What axiom is needed to infer the fact Female(Laura) given the facts Male(Jim) and Spouse(Jim, Laura)?