14.281 Ponens tactic used on non-inference

Prev Up Next Page 752 of 800 Search internet

Origin: check. Landing-place: diagnose.

Ponens tactic used on non-inference: x

The Ponens tactic x Ponens was applied to an argumentation x whose conclusion was not of form h infer y. 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.

Prev Up Next Page 752 of 800 Search logiweb.eu

Copyright © 2010 Klaus Grue, GRD-2010-01-05