|Page 752 of 800||Search internet|
Origin: check. Landing-place: diagnose.
Ponens tactic used on non-inference: x
The Ponens tactic was applied to an argumentation x whose conclusion was not of form . The term x is given out of context and after macro and tactic expansion, so start out by locating the error. See also Ponens-seqop used on non-inference.
|Page 752 of 800||Search logiweb.eu|