It is not the case that A logic that forbids DS must either reject classical tautologies like (A ∨ ¬A) or accept true conclusions from true premises, undermining its coherence.
?Set your confidence on the premises below to see your aggregate.
No one has weighed in yet. Be the first to share reasons for or against this statement.