Real life description for (~A->A)->A
-
31-10-2019 - |
Question
It can be shown that the logical preposition [ :- (~A->A)->A ] is a theorem (always true). I want to know if anybody knows a real life description for the preposition above? I mean an expression in computer, economics, mathematics, politics or anything that fits in that preposition.
No correct solution
Licensed under: CC-BY-SA with attribution
Not affiliated with cs.stackexchange