Sujet : Re: Minimal Logics in the 2020's: A Meteoric Rise
De : janburse (at) *nospam* fastmail.fm (Mild Shock)
Groupes : sci.logicDate : 05. Jul 2024, 02:58:03
Autres entêtes
Message-ID : <v67jvc$6l2j$1@solani.org>
References : 1 2 3 4
User-Agent : Mozilla/5.0 (Windows NT 10.0; Win64; x64; rv:91.0) Gecko/20100101 Firefox/91.0 SeaMonkey/2.53.18.2
When red means blue, and yellow means
green, then black is white. Thanks for your hint!
If my Grandmother had wheels she would have been a bike
https://www.youtube.com/watch?v=OplyHCIBmfEolcott schrieb:
When provable means true and false means unprovable
then (Γ ⊢ X) means X is true in Γ.
then (Γ ⊢ ~X) means X is conventional false in Γ.
the (Γ ⊬ X) ∧ (Γ ⊬ ~X) X is not a truth bearer in Γ.
…