|
|
|
|
|
|
by ewoodrich
92 days ago
|
|
|
It's demonstrating the implications (principle of explosion) of a contradiction being allowed in a system of formal logic. You can change "suppose both are true" to "suppose the rules of a logical system permit stating both are true". |
|
|
> You can change "suppose both are true" to "suppose the rules of a logical system permit stating both are true".
It's calling out a potential flaw in the system and whether we want to do anything about it.