We show that there is a simple derivation of triviality with very few assumptions involving the formula that the negated conditional entails the antecedent of the conditional.
No takes yet. Share an insight, caveat, or question.
Hitoshi Omori (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: