Liste des Groupes | Revenir à c theory |
On 5/22/24 7:55 PM, olcott wrote:Let's use the more intuitive name lp so that we incorporate by*You are just not paying close enough attention again*Right, so since p is DEFINED to be ~True(L, p), which since True(L, p) is false, must be true, that means that you are claiming that
>
When p defined as ~True(L, p)
True(L,p) is false
True(L,~p) is false
~True(L,~p) is true
>
x := y means x is defined to be another name for y
https://en.wikipedia.org/wiki/List_of_logic_symbols
T(L, <a statement that has been shown to be true>) is false.
Thus your True predicat is just broken.
*Mikko rejects p := ~True(L,p) as a syntax error*>So, what it the "Syntax Error"?
You ignored the part where Mikko agreed that
p defined as ~True(L, p)
is a syntax error:
Are we not allowed to negate an expression
Or are we not allowed to assign an expression to a name.
Note, "Syntax Error", by its definition doesn't look at Semantics,
>But it isn't.
On 5/21/2024 3:05 AM, Mikko wrote:
> 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.
Les messages affichés proviennent d'usenet.