Sujet : Re: Replacement of Cardinality
De : invalid (at) *nospam* example.invalid (Moebius)
Groupes : sci.logic sci.mathDate : 15. Aug 2024, 22:36:09
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v9lsca$13gef$3@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
User-Agent : Mozilla Thunderbird
Am 15.08.2024 um 20:36 schrieb Jim Burns:
Translate ¬∃ᴿx(x = 1/0) to
There is nothing to translate. "¬∃ᴿx = 1/0" is just a meaningless expression, because "1/0" is a undefined (non-denoting) term/name.
¬∃ᴿx: 0⋅x = 1
Now this is a meaningful statement.
Prove that.
Indeed! :-)
For this we might assume
∃ᴿx: 0⋅x = 1
and try to derive a contradiction from this assumption.
->Proof by contradiction (RRA).
Re: Replacement of Cardinality
Re: Replacement of Cardinality