Liste des Groupes | Revenir à theory |
On 5/13/2024 9:31 PM, Richard Damon wrote:So, if x being true is defined as there exists a sequence of truth perserving operations to the truth makes, false needs to be defined as a similar sequence of operations to ~x. (or is this not true an ~ isn't always defined?)On 5/13/24 10:03 PM, olcott wrote:*PLEASE STUDY THIS VERY CAREFULLY SO WE DON'T HAVE TO KEEP*On 5/13/2024 7:29 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,
>
*GOING OVER THE EXACT SAME POINT MY SHOULDER IS HURTING*
On 5/14/2024 10:44 PM, Richard Damon wrote:
> So, what result SHOULD True(L, x) return? when x is
> the expression ~True(L, x)
>
*YOU ALREADY AGREED THAT*
On 5/13/2024 9:31 PM, Richard Damon wrote:
> No, so True(L, p) is false
*WHEN*
>> On 5/13/2024 7:29 PM, Richard Damon wrote:
>>> ... p defined as ~True(L, p) ...
Les messages affichés proviennent d'usenet.