Liste des Groupes | Revenir à theory |
On 5/15/24 12:11 AM, olcott wrote:That is correct.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:>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,
>
*PLEASE STUDY THIS VERY CAREFULLY SO WE DON'T HAVE TO KEEP*
*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) ...
>
>
So, the True predicate can't correctly say True(L, x) is either, so its result must be that it is a "non-truth-bearer"
and thus True can not be a predicate.No that is incorrect.
Les messages affichés proviennent d'usenet.