پارادخشهای درتاهش سختگیر همچنین شناخته شده با: پارادوکسهای استلزام اکید برابر انگلیک (انگلیسی): paradoxes of strict implication 1.𝐴⥽(𝐵⥽𝐵) A⥽(B⥽B) A⥽(B⥽B)A⥽(B⥽B)member✹ 2.𝐴⥽(𝐵∨¬𝐵) A⥽(B∨¬B) A⥽(B∨¬B)A⥽(B∨¬B)member✹ 3.(𝐴∧¬𝐴)⊃𝐵 (A∧¬A)⊃B (A∧¬A)→Bبنداشت اسکفتmember✹