Q.8. Represent the sentence "All Germans speak the same languages" in predicate calculus.
Q.9. What axiom is needed to infer the fact Female(Laura) given the facts Male(Jim) and Spouse(Jim,Laura)?
Q.10. Write a general set of facts and axioms to represent the assertion "Wellington heard about Napoleon's death" and to correctly answer the question " Did Napoleon hear about Wellington's death?"

Question

Q.8.	Represent the sentence "All Germans speak the same languages" in predicate calculus.
Q.9.	What axiom is needed to infer the fact Female(Laura) given the facts Male(Jim) and Spouse(Jim,Laura)?
Q.10.	Write a general set of facts and axioms to represent the assertion "Wellington heard about Napoleon's death" and to correctly answer the question " Did Napoleon hear about Wellington's death?"

anonymous · Answer

P1. These are symbolic logic questions
P2. If you have non-MIT 600 questions, you should not post them in this forum
P3. Symbolic logic questions are non-MIT 600 questions
------------------------------------------------
C1. You should not post these questions here.