Classical logic permits A→(B→A) as valid even when A and B are entirely unrelated, violating intuiti...
This proposition has not been edited since the history system was added.