Liste des Groupes | Revenir à s logic |
On 7/7/24 1:59 PM, olcott wrote:True(L,x)==false and True(L,~x)==falseOn 7/7/2024 12:28 PM, Richard Damon wrote:Is "Not-a-logic-sentence" a truth value that True, of ~false can return or not?On 7/7/24 9:34 AM, olcott wrote:>On 7/7/2024 6:26 AM, Richard Damon wrote:>On 7/6/24 11:42 PM, olcott wrote:>On 7/6/2024 10:12 PM, Richard Damon wrote:>On 7/6/24 10:51 PM, olcott wrote:>On 7/6/2024 9:16 PM, Richard Damon wrote:>>>
So if x is defined in L as ~True(L, x)
>
what value does True(L, x) have?
>
then True(L,x) evaluates to false ultimately meaning
that x is incorrect.
But doesn't ~false evaluate to True?
>
No. ~false evaluates to true or incorrect.
So, "incorrect" is an ACTUAL logic state, not just "sort of" and ~~P doesn't necessarily have the same value as P.
>
It is something like tri-valued logic.
It needs to either BE tri-valued, or be bi-valued, or be whatever number of values it is.
>
True, False and IDK would be trivalued logic.
True, False and not-a-logic-sentence is not actually trivalued logic.
Les messages affichés proviennent d'usenet.