I hope this argument works somewhat as an introduction
Well, it surprisingly did. Until the moment where a predicate symbol that had only previously been applied to variables representing objects in the universe of discourse (i.e. a normal variable) was applied to a variable representing a predicate. It was at that moment that I understood that I don’t understand this stuff.
Well, it surprisingly did. Until the moment where a predicate symbol that had only previously been applied to variables representing objects in the universe of discourse (i.e. a normal variable) was applied to a variable representing a predicate. It was at that moment that I understood that I don’t understand this stuff.