VÉRITÉ TABLE DE

Ce sujet est traité dans les articles suivants :

1.  LOGIQUE MATHÉMATIQUE

Écrit par : Daniel ANDLER, Roger MARTIN

Dans le chapitre "Sémantique"  : … et ¬−(1) = 0, ce qu'on exprime en général à l'aide d'une règle, dite table de *vérité de la négation, donnant, pour une formule quelconque A, la valeur de vérité de A (c'est-à-dire l'élément de B qui interprète cette formule dans l'interprétation considérée) en fonction de celle de A : Le… Lire la suite

2.  LOGIQUES NON CLASSIQUES

Écrit par : Jacques-Paul DUBUCS,  Universalis

Dans le chapitre "Le système de Kleene"  : … des propositions indécidables en mathématiques, une logique trivalente définie par les tables de *vérité suivantes : I est interprété comme « indécidable » : c'est la valeur des énoncés qui ne sont ni démontrables ni réfutables (selon Kleene, ils sont vrais ou faux, mais on ignore quel est le cas). Le système de Kleene repose sur le principe… Lire la suite

3.  MICROÉLECTRONIQUE

Écrit par : Claude WEISBUCH

Dans le chapitre "Réalisation des fonctions logiques avec des transistors"  : … deux entrées (A ou B) est au « 1 ». Dans tous les autres cas, la sortie logique S doit être « 0 ». *On représente tous les cas d'entrées et sorties par des tableaux dits « tables de vérité ». Aux bornes des résistances des deux circuits, apparaissent des tensions de sortie données par les tables de vérité de « et » et « ou » suivant les tensions… Lire la suite

4.  POST EMIL LEON (1897-1954)

Écrit par : Bernard JAULIN

… *Mathématicien américain né à Augustów (Pologne) et mort à New York. Arrivé aux États-Unis en 1904, Emil Post obtint son Ph.D. à l'université Columbia de New York en 1920. Il était membre de l'American Mathematical Society depuis 1918 et de l'Association for Symbolic Logic dès sa fondation en 1935. Sa thèse de doctorat, publiée en 1921, porte sur le… Lire la suite