crnkjck
commented
1 year ago Similar case with missing interpretation of constants, too: In the Dracula exercise, proposition “Dracula is only afraid of me” for the incorrect formalization “fears(Dracula, me)” one gets:
Your formalization is true and the correct formalization is false, e.g., in structure ℳ1 = (𝐷1, 𝑖1) where:
𝐷1 = {1, 2, 3},
𝑖1(fears) = {}.
Example: Ex 1.5.1. “Peter je muž.” Bad “formalization”:
A = E. No counterexample in one direction, in the other direction: got i(muz) = {}; should get: i(muz) = {i(Peter)}.