CRGreathouse
Community Supporter
Magus_Jerel said:um - you are doing the former, not the latter.
to prove that this assumption is true you must use the form of or introduction namely you must presume the statement:
an action of the category MEA with respect to time plus an action of the category partial action with respect to time does not yield a standard action
Formal eqivalent:
t(mea) + t(partial action) -> t(standard action)
and then get an ABSOLUTE contradiction - you won't
Note 1 - there is NO greater or less than sign here, there is an arrow the "other half" of the -> that is needed for the "proof" is the given conventional definition of standard action; any attempt to use ineqalities fails as the system is categorical, not numerical.
Actually, when you reduce the system in terms of t(. . .), you should use inequalities instead of arrows:
t(standard action) >= t(mea) + t(partial action)
standard action -> mea + partial action
Let's not play games. If you're as good at math & logic as you claim to be (and I don't dispute this), you'll know that I can handle the basic material covered here. The problem is in the translation from the PH: you claim that either "t(standard action) = t(mea) + t(partial action)" or "standard action <- mea + partial action" can be found in or derived from the Player's Handbook, which I dispute.