TML currently only has deletion and negation by failure. Ohad over and over said it had logical negation as well ..but I am unable to see how this could be true. Here is example:
human(X)=>mortal(X).
~mortal(joe).
Therefore
! ~human(joe).
should be true
Does TML have logical negation? Can it be tested somehow?
If not, will users of TML be allowed to make use of logical negation? (specifically Modus Tollens deduction like above)
naturalog
commented
4 years ago
TML currently only has deletion and negation by failure. Ohad over and over said it had logical negation as well ..but I am unable to see how this could be true. Here is example:
Therefore
should be true
Does TML have logical negation? Can it be tested somehow?
If not, will users of TML be allowed to make use of logical negation? (specifically Modus Tollens deduction like above)