New answers tagged

1

Note 1: this sounds like a homework problem, so I'm going to try to give guidance toward the answer instead of just giving an answer outright. Note 2: writing out the types of all the variables gets messy, so for the purposes of this answer, x is a variable of type e, p is a variable of type t, and P is a variable of type ⟨e,t⟩. So I would write the ...


1

Could we be looking at this from a different or incorrect view, but I do not think you are contradicting yourself. I read your comment about "I don't know that John kissed Mary." to mean... You as a person, could have been asked "Why did John kiss Mary" you could reply " I don't know that John kissed Mary." Implying that you ...


Top 50 recent answers are included