... meaning in (45), a partial function we can call F for short. In turn the whole sentence will mean (46). (45) λe : e has an agent that is food [ True iff ...
確定! 回上一頁