There is only able to be logically deductible, in even realistic logic systems’ praxis for evaluation of {T,~T(=F)} surjectively (using commutator presence can inform in cases where things aren’t just all true and uniquely never false in conjunction (disjoint) with the contrapositive.
Be the first to reply to this answer.