[DIVERS] Re: [PHYS] PROgrammer en LOGique tetravalente

[Banban <alban.nanty@free.fr>]

Bonjour Olme,

Tes intérrogations rejoignent celle de Vincent Morin sur la liste 
Physique (qui estimait que PL4C est une logique à 16 valeurs de vérité). 
Je te conseille donc de lire la réponse de Norman (dans les archives de 
la liste sur le site ummo-sciences, si tu n'es pas abonné à la liste 
Physique).

Sinon pour répondre brièvement, l'ensemble vide indique une erreur de 
raisonnement. Le raisonnement qui abouti à l'ensemble vide est un 
raisonnement invalide. Ce n'est donc pas une valeur de vérité à 
proprement dite.

Une proposition ne peut pas avoir ensemble vide comme valeur de vérité. 
Si c'est le cas, il faut remonter dans votre raisonnement pour trouver 
l'erreur. D'autre part on ne peut pas dire que tel axiome de base ou tel 
donnée de départ a pour valeur de vérité l'ensemble vide, ça n'aurait 
pas de sens.

A+

olme a écrit :
> bonjour,
> 
> j'ai commencé la lecture de cet essais, fort
> intéressant, et une question me vient : 
> 
> que vient faire l'ensemble vide là dedans ... ?? 
> 
> Il n'est pas représenté sur le shéma, et j'avais
> l'impression que la notion d'ensemble vide étais
> assimilable à l'une des valeurs logique (N
> peut-etre?)... dans les tableau de verité, il apparait
> sytematiquement au même titre que les autres valeurs,
> ce qui nous donne un logique pentavalente ... non?
> 
> mais peut etre est-ce ma comprehension qui peche ...
> et je lirai avec joie quelques remarques éclairantes
> là dessus ...
> 
> amicalement,
> 
> M;
>


-- 
   ___  Alban NANTY (Banban)
  /OO/| ICQ : 52251924
/OO/ | Se tromper est humain, mais pour vraiment mettre le bordel,
|__|/  il faut y ajouter un ordinateur.

===========================================================
Liste de diffusion UMMO "DIVERS" (Tout ce qui n'entre pas dans les 4 autres listes).
Pour envoyer un message: soit fonction "répondre", soit 
mailto:ummo.open@ummo-sciences.org
Soumis à la charte: 
https://www.ummo-sciences.org/nvle_charte.htm
Archives de la liste: 
http://archives.ummo-sciences.org/ml/ummo.open-AAAAMM/maillist.html ( en remplacant AAAA par l'année et MM par le N° du mois)
Pour se désinscrire : 
mailto:ummo.open_request@ummo-sciences.org?subject=unsubscribe
===========================================================