Liste des Groupes | Revenir à theory |
On 5/13/2024 9:31 PM, Richard Damon wrote:Which has NOTHING to do with the problem with True(L, p) being true when p is defined in L as ~True(L, p)On 5/13/24 10:03 PM, olcott wrote:On 5/15/2024 7:52 PM, Richard Damon wrote:No, so True(L, p) 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.
>
Can a sequence of true preserving operations applied to expressions
that are stipulated to be true derive p?
and thus ~True(L, p) is true.
>>>
Can a sequence of true preserving operations applied to expressions
that are stipulated to be true derive ~p?
No, so False(L, p) is false,
>
> Which has NOTHING to do with the above, as
> we never refered to False(L,p).
*YES WE DID IMMEDIATELY ABOVE YOU SAID THAT False(L, p) is false*
*YES WE DID IMMEDIATELY ABOVE YOU SAID THAT False(L, p) is false*
*YES WE DID IMMEDIATELY ABOVE YOU SAID THAT False(L, p) is false*
*YES WE DID IMMEDIATELY ABOVE YOU SAID THAT False(L, p) is false*
You remembered that False(L,p) is defined as True(L, ~p)
You remembered that False(L,p) is defined as True(L, ~p)
You remembered that False(L,p) is defined as True(L, ~p)
Les messages affichés proviennent d'usenet.