[DIVERS] Re: logique tetravalente

[Norman Molhant <nwm@vif.com>]

Bonjour!


[NM]
> "on définit ¿ ¤ comme "la trace de la totipotence"
>    et on écrit: {T,F,B,N} = ¿ ¤
> Est-ce que l'imprononçable ¿ ¤ te va mieux ?"

[JLS]
> ah, ah, oui, la représentation cognitive est moins sollicitée  
> d'emblée mais il faut déjà trouver comment on arrive à l'écrire sur  
> le clavier :
> 
> ¿ s'écrit comme un ? avec la touche option sur mon mac - en code  
> html : ¿
> 
> tandis que ¤ s'écrit en html  : ¤  mais je n'arrive pas à  
> trouver comment on l'écrit !

La table des codes HTML indique ceci:

  ¤  	Generic currency symbol  	 ¤   ¤

Est-ce que ce n'était pas shift option 2 (touche 2 avec touche shift
et touche option) à l'époque des Mac Classic, etc. ?
Mais j'ai l'impression qu'on a maintenant le symbole euro à sa place...

J'ai aussi trouvé cette info-ci sur le net, qui date de 2001:

1. In your Apple menu there's an item called "Key Caps." This brings up a
window with a keyboard image. Each key has a character on it. Some of
these characters change as you press modifier keys like shift, option,
control and command. (What's an alt key?!!) If you find the character you
want, press that key and you'll see it appear in the field above the
keyboard. Some of the keys are enclosed with gray and show just the accent.
For these you use the combinations described below.

2. For instance to get a French e with an aigu accent, you hold down the
option key and press e. Nothing appears to happen, but when you press e
again, the é appears, or if you then press a, an á appears. If you hold
down option and press c, you'll get the ç immediately. If you need a German
umlaut, you first press option-u and then a u for ü, an a for ä, or i for ï.
If you do option-a, you'll get the å immediately, or option-s the ß
immediately. Some of the other combinations are more obscure. If you can't
remember what key does what, you can type in the Key Caps window, copy the
character you want, and paste it into your document.

Peut-être ceci te permettra-t-il de trouver quelles touches produisent
ce caractère  ¤  sur le MAC ?

[NM]
>    Pour l'opérateur complément, on garderait le moins -
>      - {T} = {F,B,N}      - {F} = {T,B,N}
>      - {B} = {T,F,N}      - {N} = {T,F,B}
>      - {}  = ¿ ¤          - ¿ ¤  = {}

[JLS]
> ça reste logique
> mais je me demande comment on pourrait écrire   - {T} = {F,B,N} et  
> les trois autres pôles en utilisant  "¿ ¤"   ...

Bonne question!
Je me demande s'il ne va pas falloir envisager de faire de T, F, B et N
des sélecteurs (fonctions ou opérateurs sélectionnant une partie ad-hoc
de ¿ ¤ ) ???
Peut-être comme ceci:
         {T} =  T(¿ ¤)        {F} =  F(¿ ¤)
         {B} =  B(¿ ¤)        {N} =  N(¿ ¤)
Puis en en dérivant de là les expressions pour la négation et le complément
Hmmm....
La NR20 donne des expressions pour la négation et le complément basées
sur la notion d'ensemble, qui sont malheureusement assez lourdes, vu
qu'elles donnent à chaque fois le domaine sur lequel l'opération s'applique.
Hmmm....
C'est encore à ruminer, je le crains!

Amitiés de
            Norman.

===========================================================
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--