Difference between revisions 311853 and 311967 on frwikiversity

{{Chapitre
  | idfaculté = mathématiques
  | numéro    = 10
  | précédent = [[../Complétude de la logique du premier ordre/]]
  | suivant   = 
  | niveau    =
}}

'''Logiques à trois valeurs'''= Les loqiques [[non commutative]] du Lukasiewicz, est vrement celle de Lukaisewicz-Moisil