Difference between revisions 311979 and 311980 on frwikiversity

{{Leçon
  | idfaculté   = Pphysique
  | département = Logique quantique 
  | 1           = {{C|Introduction|0|?}}
  | 2           = {{C|Grammaire des prédicats|0|?}}
  | 3           = {{C|Déduction naturelle dans les logiques chrysippienne|0|?}}
  | 4           = {{C|Autres formulations des principes de la logique du premier ordre|0|?}}
  | 5           = {{C|Logiques d'ordre supérieur|0|?}}
  | 6           = {{C|Théorie des modèles|0|?}}
  | 7           = {{C|Définitions|0|?}}
  | 8           = {{C|Égalité|0|?}}
  | 9           = {{C|Complétude de la logique du premier ordre|0|?}}
  | 10          = {{C|Logiques  à trois valeurs|3|?}}
  | 11          = {{C|les Logique quantiques et les formalismes du Bourbaki des mathématiques|3|?}}
  | exo1        = {{Exo|Forme Normale Disjonctive|0|?}}
  | exo2        = {{Exo|Forme Normale Conjonctive|0|?}}
  | exo3        = {{Exo|Méthode de Quine|0|?}}
  | exo4        = {{Exo|Cohérence et formes causales|0|?}}
  | exo5        = {{Exo|Méthode des tableaux|0|?}}
  | exo6        = {{Exo|Calcul naturel|0|?}}
  | exo7        = {{Exo|Calcul intuitionniste|0|?}}
  | niveau      = 15
}}