演繹
前件肯定(affirming the antecedent)、モーダスポネンス(MP : modus ponens) - 後件否定(denying the consequent)、モーダストレンス(MT : Modus tollens) ルイス・キャロルのパラドックス(Lewis Caroll's Paradox)、「亀がアキレスに言ったこと」(What the Tortoise Said to Achilles)
TRIZ / USIT(Unified Structured Inventive Thinking) -- 演繹、帰納、類比・アナロジー・アブダクション・ひらめきを含む 体系的発明思考法。