Je satisfais volontier David qui nous propose d'utiliser le connecteur d'implication ...
voici la table: Logiciel Système Valeur de vérité Libre => Libre = Vrai Libre => Propriétaire = Vrai Propriétaire => Libre = Faux Propriétaire => Propriétaire = Vrai Mais ce connecteur n'est pas plus pertinent que le connecteur alternatif proposé par joël dans le dilemme qui nous occupe ... Je vous propose également d'exercer votre saggacité sur d'autres connecteurs logiques... La négation ... L'équivalence La barre de Sheffer La flèche de Peirce ;-) Amicalement jean-louis.bader Linux-Azur : http://www.linux-azur.org Désinscriptions: http://www.linux-azur.org/liste.php3 **** Pas de message au format HTML, SVP ****
