Quote:
Originally Posted by dsljrich  The rules that you are used don't look familiar. Also, in line 5 you jus dropped out Ex without assigning any variable for the x in Mxa. So far we are taught to replace a constant with a variable in ExMxa so it would read Mda. And I dont understand U.I. M.P. I.d. D.S. .. EI .. that im familiar with. |
when dropping the Ex, you cannot just replace the variable. it doesn't work that way. in line 5 i applied the rule of E.I.
U.I. means universal instatiation
M.P. means Modus Ponens
I.d. means Principle of ideneity, it is the set of rules that go with "="
E.I. means existential instantiation, it is the rule that goes with dropping Ex
D.S. means disjunctive syllogism
comm. means commutativity
simp. means simplification
now hopefully you can translate to the format you want