Real life description for (~A->A)->A
-
31-10-2019 - |
質問
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.
正しい解決策はありません
所属していません cs.stackexchange