Liste des Groupes | Revenir à c theory |
On 5/21/2024 3:05 AM, Mikko wrote:What if it is not defined as ~True(L, p)
> On 2024-05-20 17:48:40 +0000, olcott said:
>> True(English, "a cat is an animal) is true
>> LP := ~True(L, LP) expands to ~True(~True(~True(~True(...))))
>
> No, it doesn't. It is a syntax error to have the same symbol on
> both sides ":=" so the expansion is not justified.
On 5/13/2024 7:29 PM, Richard Damon wrote:"this sentence is false" defined as ¬True(English, "this sentence is false")
> Remember, p defined as ~True(L, p) is BY DEFINITION a
> truth bearer, as True must return a Truth Value for
> all inputs, and ~ a truth valus is always the other
> truth value.
p defined as ~True(L, p) is rejected as a syntax error.
Les messages affichés proviennent d'usenet.