L'OS 3.2 présenté et annoncé pour ce printemps!

My calculator programs · by **Adriweb** » 29 May 2012, 22:19

Bonne idée

Au moins, tu pourra comparer dans un premier temps

→ **MyCalcs** profile · by **Lionel Debroux** » 30 May 2012, 06:04

Pour les téméraires: comme d'habitude, la première protection, avant d'installer quoi que ce soit sur une Clickpad/Touchpad qui n'a pas encore été verrouillée par les boot2 récents, est d'utiliser TNOC

http://ti-pla.net/a1922

→ **MyCalcs** profile · by **critor** » 30 May 2012, 06:58

Soit, mais ce sera loin d'être suffisant, et sans aucune garantie qu'il y ait un complément un jour... Pas avant de longues semaines ou mois en tous cas.

→ **MyCalcs** profile · by **Extra44** » 30 May 2012, 09:06

Bonjour,

C'est vrai que cela donne envie,

Mais (mais il y a un mais

) ... c'est moi qui délire ou il y a un problème .... dans la copie écran suivante ...

critor wrote:On appréciera également l'évaluation logique des nouveaux opérateurs d'implication et équivalence:

!x-2! est bien la valeur absolue de (x-2) donc >=0 ....donc ...
abs(x-2) <0 doit rendre faux ....

J'ai l'impression de délirer ou il y a déjà un bug ...

Extra

→ **MyCalcs** profile · by **critor** » 30 May 2012, 11:45

Extra44 wrote:Bonjour,

C'est vrai que cela donne envie,

Mais (mais il y a un mais ) ... c'est moi qui délire ou il y a un problème .... dans la copie écran suivante ...
critor wrote:On appréciera également l'évaluation logique des nouveaux opérateurs d'implication et équivalence:

!x-2! est bien la valeur absolue de (x-2) donc >=0 ....donc ...
abs(x-2) <0 doit rendre faux ....

J'ai l'impression de délirer ou il y a déjà un bug ...

Non, il n'y a pas de bug cette fois-ci.

Une implication logique est considérée comme vraie tant qu'il n'y a pas le contre-exemple "Vrai => Faux".
Les propositions "Faux => Faux" et "Faux => Vrai" ne sont pas des contre-exemples et sont vraies.

Si tu veux, la proposition "A => B" peut se réécrire "non( A et non(B) )", qui traduit l'interdiction du contre-exemple et peut se simplifier en "non(A) ou B".