Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure

Liste des GroupesRevenir à theory 
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.theory
Date : 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

Date Sujet#  Auteur
8 Jul 24 o Re: Minimal Logics in the 2020's: A Meteoric Rise --- eternal september failure1olcott

Haut de la page

Les messages affichés proviennent d'usenet.

NewsPortal