First order logic——Writing FOL

1. 分清楚逻辑主次

场景一：

Let Gov , Univ, Lca, Bill be constant symbols, and let prof(x),stud(x),unhappy(x),cut fund(x,y),fail exam(x,y) be unary and binary predicate symbols.

• If professors are unhappy all students fail their exams
  - 最外层：如果x是一个教授，那么这句话才是有意义的最外层：如果x是一个教授，那么这句话才是有意义的

场景二：

An elephant is happy if all its children can fly

• 最外层：如果x是elephant，那么这句sentence才成立

  

2. 定语从句（不管是修饰主语成分还是宾语成分）

• 定语从句中也包含implication
  • Everyone who loves all animals is loved by someone
    • 
• 定语从句只是属性
  • 直接用and就好了
    • If professors