... been struggling with parallel reasoning questions so I've ... inference (contraposition). In formal logic, however, this is not ... conform to formal Aristotelian/Boolean logic?
Is ... that has studied formal logic deeply and successfully applied ...