A solution method that requires a proposition and its negation as simultaneous premises is paradoxic...