Sujet : Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure
De : NoOne (at) *nospam* NoWhere.com (olcott)
Groupes : sci.logic comp.theoryDate : 08. Jul 2024, 03:22:36
Autres entêtes
Message-ID : <RpKdnUjg8sjx0Bb7nZ2dnZfqlJydnZ2d@giganews.com>
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; Genius hits a target no one else can see." Arthur Schopenhauer