[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

[DIVERS] Re: [logique tétravalente]





>
>
>Autre écriture:
>1^¬0: Vrai et non Faux
>0^¬1: Faux et non Vrai
>1^0: Vrai et Faux
>¬1^¬0: Non Vrai et non Faux
>
>Bien à vous,
>Anne
>  
>
----------
alors je vais un peu compliquer les choses pour faire lever les bras au 
ciel à AJH :

si "un" est égal à ¬ S
comme négation de l'indétermination totipotente du pré-géométrique
(en enlevant les majuscules toujours trop absolues
et en espérant que le signe Ø va passer comme ensemble vide)

on va pouvoir écrire :
1)   ¬ S ^ ¬ Ø : vrai et non faux
2 )   Ø  ^ ¬ ¬ S : faux et non vrai
3)    ¬ S ^ Ø  : vrai et faux
4)   ¬ ¬ S ^ ¬ Ø : non vrai et non faux

on voit déjà mieux les oppositions entre
1 et 4
2 et 3

jls


===========================================================
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
===========================================================
	
	
	
	
	
	
	--=_Listar-UnMime-Boundary--