[[American]] = [λx:x ∈ De. x is a American]. [[turtle]] = [λz:z ∈ De. z is a turtle] c. Step 3: Subproofs. Subproof A i. [[NP1]] = (by NNx2, TN).
確定! 回上一頁