Sujet : Re: Minimal Logics in the 2020's: A Meteoric Rise
De : polcott333 (at) *nospam* gmail.com (olcott)
Groupes : sci.logicDate : 08. Jul 2024, 03:16:03
Autres entêtes
Organisation : A noiseless patient Spider
Message-ID : <v6fi53$mocu$2@dont-email.me>
References : 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23
User-Agent : Mozilla Thunderbird
On 7/7/2024 1:30 PM, Richard Damon wrote:
Is "Not-a-logic-sentence" a truth value that True, of ~false can return or not?
*I will try to be perfectly clear*
Not-a-logic-sentence(L,x) ≡ (~True(L,x) ∧ ~True(L,~x))
-- Copyright 2024 Olcott "Talent hits a target no one else can hit; Geniushits a target no one else can see." Arthur Schopenhauer