Prop. Logic: Knowledge Engr
1) Lisa is not next to Dave in the ranking
2) Jim is immediately ahead of a bio major
3) Dave is immediately ahead of Jim
4) One of the women is a biology major
5) Mary or Lisa is ranked first
Universe: Lisa, Dave, Jim, Mary
LiaD = “Lisa is immediately ahead of Dave”
BioD = “Dave is a Bio Major”
2) (JiaD ? BioD) ? (JiaM ? BioM) ? ...
- Choose initial sentences (wffs)