Résultats de la recherche

{{ébauche|logique}} Une '''valeur de vérité''' est une valeur attribuée à chaque proposition logique. ...

La fonction '''OUI''' est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À un [[opérande]], qui peut avoir la valeur VRAI ou FA Fonctions_logiques(1-a).png|Illustration de principe ...

...|valide]], qui prend la forme d'un [[syllogisme]] ayant une [[Implication (logique)|implication]] pour un ou deux de ses [[Prémisse|prémisses]]<ref>Hurley</re ...classique]] qui ne sont pas toujours acceptées dans certains systèmes de [[logique non-classique]]. La règle peut être déclaré comme suit: ...

...(A \to B) \to A) \to A</math> où <math>\to</math> désigne l'[[implication (logique)|implication]]. Elle a été proposée par le logicien et philosophe [[Charles ...eul de ces principes à la logique intuitionniste redonne la totalité de la logique classique. ...

...ionnelle]] énonce que toute proposition impliquée par sa propre [[Négation logique|négation]] est vraie. * [[Robert Blanché|R. Blanché]], ''Introduction à la logique contemporaine'' ...

...eur'''. A titre d'exemple, le [[circuit intégré 7404]] intègre six [[Porte logique|portes logiques]] inverseuses du type NON. [[Image:Fonctions_logiques(2-a).png|frame|center|alt=NOT|Illustration de principe de la fonction NON]] ...

{{Article principal|horloge logique}} == Principe == ...

{{ébauche|logique}} ...gallica}}, notamment l'appendice intitulé {{lien web | titre = ''Précis de logique classique''| url = https://gallica.bnf.fr/ark:/12148/bpt6k110843d/f456}}</r ...

{{ébauche|logique}} ...e)|propriété]] ou [[Relation binaire|relation]] définies par une [[Formule logique|formule]]. D'ordinaire, seules les formules du [[calcul des prédicats|calcu ...

{{ébauche|logique|mathématiques}} ...easoning and Logic}}</ref>. La [[logique minimale]] est essentiellement la logique intuitionniste sans la règle explicite d'{{latin|ex falso quodlibet}}. ...

...(''OR'' en anglais) est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À deux [[Opérande|opérandes]], qui peuvent avoir chacu [[Image:Fonctions_logiques(4-a).png|frame|center|alt=OR|Illustration de principe de la fonction OU]] ...

{{À sourcer|date=septembre 2016}}{{Article court|Règle d'introduction (logique) | disjonction|calcul des séquents | déduction naturelle}} ...dans une [[Démonstration formelle|démonstration]]. Elle est l'[[inférence (logique)|inférence]] selon laquelle si ''P ''est vrai, alors ''P ou Q'' doit être v ...

En [[analyse non standard]], le '''principe de standardisation''' permet de construire des ensembles standard à partir Malheureusement ''B'' n'est pas en général un ensemble standard. Le principe de standardisation affirme l'existence d'un ensemble standard <math>St(B)</ ...

{{Autre4|le principe mathématique|les autres significations du terme|Trichotomie}} En [[ mathématiques]], le '''principe de la trichotomie''' indique que tout [[nombre réel]] est soit positif, soi ...

En [[analyse non standard]], le '''principe d'idéalisation''' est un [[axiome]] permettant soit d'obtenir des propriété Le principe d'idéalisation pose l'équivalence entre les deux assertions suivantes : ...

...b|langue=fr|auteur1=D. Bonnay|auteur2=Mikael Cozic|titre=Introduction à la logique et à la sémantique formelle|url=http://mikael.cozic.free.fr/CogQR.pdf |form ...b|langue=fr|format=pdf|auteur1=Géraud Sarrebourse de la Guillonnière|titre=Logique|url=https://cel.archives-ouvertes.fr/cel-00765691v1|date=23/01/2012|consult ...

...ique|conjonction]], l'[[Implication (logique)|implication]], la [[Négation logique|négation]], etc.) sont des [[Règle d'inférence|règles d'inférence]] que l'o ...tzen]]|traducteur=R. Feys et J. Ladrière|titre=Recherches sur la déduction logique|titre original=Untersuchungen über das logische schließen|éditeur=Presses U ...

...u sait que <math>P</math>, et qu'il sait que <math>P</math> [[Implication (logique)|implique]] <math>Q</math>, alors on acceptera de dire que l'individu sait ...que nous savons, et d'étendre par là même notre base de connaissance}}. Ce principe est toutefois contesté par plusieurs penseurs, et les débats à son sujet so ...

...(''NOR'' en anglais) est un [[opérateur logique]] de l'[[algèbre de Boole (logique)|algèbre de Boole]]. À deux [[opérande]]s, qui peuvent avoir chacun la vale Cette fonction logique correspond aux mots français ''ni... ni'', car la phrase ''ni A ni B'' est ...

Le '''principe de projection''' appartient à la théorie des grammaires dans le cadre de la ...st préservée au niveau de la structure de surface et au niveau de la forme logique après l'application des transformations (déplacements d'éléments au sein de ...