If R necessarily implies a contradiction, and "not R" doesn't lead to a contradiction, then it is reasonable to declare R as false.
↧
If R necessarily implies a contradiction, and "not R" doesn't lead to a contradiction, then it is reasonable to declare R as false.