Accès plus rapide que le navigateur!
54 relations: Application (mathématiques), Équivalence logique, Bataille de Waterloo, Calcul des propositions, Charles Sanders Peirce, Conjonction logique, Connecteur logique, Correspondance de Curry-Howard, Déduction logique, Déduction naturelle, Diogène Laërce, Disjonction logique, Distributivité, Encyclopædia Universalis, Flèche (symbole), Fonction (mathématiques), Fonction booléenne, Gare de Londres-Waterloo, Giuseppe Peano, Gottlob Frege, Grèce antique, Implication réciproque, Implication stricte, Interprétation de Brouwer-Heyting-Kolmogorov, Littéral (logique), Logique classique, Logique intuitionniste, Logique linéaire, Logique mathématique, Logique modale, Loi de composition interne, Loi de Peirce, Modus ponens, Modus tollens, Non-implication, Par conséquent, Paradoxe du coiffeur, Principe d'explosion, Prolog, Raisonnement contrefactuel, Raisonnement par l'absurde, Règle d'inférence, Réalisabilité, Relation transitive, Sémantique de Kripke, Stoïcisme, Système formel, Table de vérité, Tautologie, Théorème, ..., Théorème de complétude (calcul des propositions), Théorème de complétude de Gödel, Vies, doctrines et sentences des philosophes illustres, Willard Van Orman Quine. Développer l'indice (4 plus) »
Application (mathématiques)
Diagramme représentatif d'une application entre deux ensembles. En mathématiques, une application est une relation entre deux ensembles pour laquelle chaque élément du premier (appelé ensemble de départ ou source) est relié à un unique élément du second (l’ensemble d'arrivée ou but).
Nouveau!!: Implication (logique) et Application (mathématiques) · Voir plus »
Équivalence logique
En logique classique, deux propositions P et Q sont dites logiquement équivalentes ou simplement équivalentes quand il est possible de déduire Q à partir de P et de déduire P à partir de Q. En calcul des propositions, cela revient à dire que P et Q ont même valeur de vérité: P et Q sont soit toutes les deux vraies, soit toutes les deux fausses.
Nouveau!!: Implication (logique) et Équivalence logique · Voir plus »
Bataille de Waterloo
La bataille de Waterloo s'est déroulée le, en Belgique, à vingt kilomètres au sud de Bruxelles, dans l'actuelle province du Brabant wallon.
Nouveau!!: Implication (logique) et Bataille de Waterloo · Voir plus »
Calcul des propositions
Le calcul des propositions ou calcul propositionnel, (ou encore logique des propositions) fait partie de la logique mathématique.
Nouveau!!: Implication (logique) et Calcul des propositions · Voir plus »
Charles Sanders Peirce
Charles Sanders Peirce, né le à Cambridge dans le Massachusetts et mort le à Milford en Pennsylvanie, est un sémiologue et philosophe américain.
Nouveau!!: Implication (logique) et Charles Sanders Peirce · Voir plus »
Conjonction logique
En logique, la conjonction est une opération mise en œuvre par le connecteur binaire et.
Nouveau!!: Implication (logique) et Conjonction logique · Voir plus »
Connecteur logique
En logique, un connecteur logique est un opérateur booléen utilisé dans le calcul des propositions.
Nouveau!!: Implication (logique) et Connecteur logique · Voir plus »
Correspondance de Curry-Howard
La correspondance de Curry-Howard, appelée également isomorphisme de Curry-de Bruijn-Howard, correspondance preuve/programme ou correspondance formule/type, est une série de résultats à la frontière entre la logique mathématique, l'informatique théorique et la théorie de la calculabilité.
Nouveau!!: Implication (logique) et Correspondance de Curry-Howard · Voir plus »
Déduction logique
La déduction logique est un type de relation que l'on rencontre en logique mathématique.
Nouveau!!: Implication (logique) et Déduction logique · Voir plus »
Déduction naturelle
En logique mathématique, la déduction naturelle est un système formel où les règles de déduction des démonstrations sont proches des façons naturelles de raisonner.
Nouveau!!: Implication (logique) et Déduction naturelle · Voir plus »
Diogène Laërce
Diogène Laërce (en grec ancien) est un poète, un doxographe et un biographe du début du.
Nouveau!!: Implication (logique) et Diogène Laërce · Voir plus »
Disjonction logique
La disjonction logique, ou disjonction non exclusive, de deux assertions est une façon d'affirmer qu'au moins une de ces deux assertions est vraie (la première, la deuxième, ou les deux).
Nouveau!!: Implication (logique) et Disjonction logique · Voir plus »
Distributivité
En mathématiques, plus précisément en arithmétique et en algèbre générale, la distributivité d'une opération par rapport à une autre est une généralisation de la propriété élémentaire: « le produit d'une somme est égal à la somme des produits ».
Nouveau!!: Implication (logique) et Distributivité · Voir plus »
Encyclopædia Universalis
LEncyclopædia Universalis est une encyclopédie rédigée en français publiée en volumes sur papier, sur CD-ROM, sur DVD puis sur clé USB.
Nouveau!!: Implication (logique) et Encyclopædia Universalis · Voir plus »
Flèche (symbole)
Une flèche (par exemple → ou ←) est un type de symbole imitant, de manière stylisée, une flèche telle que celles qui sont tirées à l’arc.
Nouveau!!: Implication (logique) et Flèche (symbole) · Voir plus »
Fonction (mathématiques)
Diagramme de calcul pour la fonction x \mapsto \frac2x-1x+3 En mathématiques, une fonction permet de définir un résultat (le plus souvent numérique) pour chaque valeur d’un ensemble appelé domaine.
Nouveau!!: Implication (logique) et Fonction (mathématiques) · Voir plus »
Fonction booléenne
Arbre de décision binaire Une fonction booléenne est une fonction prenant en entrée une liste de bits et donnant en sortie un unique bit.
Nouveau!!: Implication (logique) et Fonction booléenne · Voir plus »
Gare de Londres-Waterloo
La gare de Londres-Waterloo (Waterloo Station) est l'une des principales gares de voyageurs de Londres, sur la rive droite de la Tamise, dans le borough de Lambeth.
Nouveau!!: Implication (logique) et Gare de Londres-Waterloo · Voir plus »
Giuseppe Peano
Giuseppe Peano (Spinetta di Cuneo (Coni), - Cavoretto, près de Turin) est un mathématicien et linguiste italien. Pionnier de l’approche formaliste des mathématiques, il développa, parallèlement à l’Allemand Richard Dedekind, une axiomatisation de l'arithmétique (1889). Il est par ailleurs l’inventeur d'une langue auxiliaire internationale, le Latino sine flexione (LsF) (le latin sans déclinaisons) en 1903. Il fut membre du comité qui créa la délégation pour l'adoption d'une langue auxiliaire internationale.
Nouveau!!: Implication (logique) et Giuseppe Peano · Voir plus »
Gottlob Frege
Gottlob Frege, de son nom complet Friedrich Ludwig Gottlob Frege, né le à Wismar et mort le à Bad Kleinen, est un mathématicien, logicien et philosophe allemand, créateur de la logique moderne et plus précisément du calcul propositionnel moderne: le calcul des prédicats.
Nouveau!!: Implication (logique) et Gottlob Frege · Voir plus »
Grèce antique
V La Grèce antique est une civilisation de l'Antiquité des peuples de langue et de culture grecque développée en Grèce et dans la partie occidentale de l'Asie Mineure, puis, à la suite de plusieurs phases d'expansion, dans d'autres régions du bassin méditerranéen (Chypre, Sicile, Italie du sud, Égypte, Cyrénaïque) et du Proche-Orient (Syrie, Palestine), constituant des points d'implantation jusque dans les actuelles Espagne et France à l'ouest et sur le territoire de l’actuel Afghanistan (Bactriane) à l'est.
Nouveau!!: Implication (logique) et Grèce antique · Voir plus »
Implication réciproque
En mathématiques, plus précisément en calcul propositionnel, une implication réciproque est une proposition interchangeant la prémisse et la conclusion d'une implication.
Nouveau!!: Implication (logique) et Implication réciproque · Voir plus »
Implication stricte
En logique mathématique, l'implication stricte est une construction de Clarence Irving Lewis fondée sur la logique modale.
Nouveau!!: Implication (logique) et Implication stricte · Voir plus »
Interprétation de Brouwer-Heyting-Kolmogorov
En logique mathématique, l'interprétation de Brouwer-Heyting-Kolmogorov, ou interprétation BHK, de la logique intuitionniste a été proposée par L. E. J. Brouwer, Arend Heyting et indépendamment par Andreï Kolmogorov.
Nouveau!!: Implication (logique) et Interprétation de Brouwer-Heyting-Kolmogorov · Voir plus »
Littéral (logique)
En logique mathématique, un littéral est un atome (aussi appelé littéral positif) ou la négation d'un atome (aussi appelé littéral négatif).
Nouveau!!: Implication (logique) et Littéral (logique) · Voir plus »
Logique classique
La logique classique est la première formalisation du langage et du raisonnement mathématique développée à partir de la fin du en logique mathématique.
Nouveau!!: Implication (logique) et Logique classique · Voir plus »
Logique intuitionniste
La logique intuitionniste est une logique qui diffère de la logique classique par le fait que la notion de vérité est remplacée par la notion de preuve constructive.
Nouveau!!: Implication (logique) et Logique intuitionniste · Voir plus »
Logique linéaire
date.
Nouveau!!: Implication (logique) et Logique linéaire · Voir plus »
Logique mathématique
La logique mathématique ou métamathématique est une discipline des mathématiques introduite à la fin du, qui s'est donné comme objet l'étude des mathématiques en tant que langage.
Nouveau!!: Implication (logique) et Logique mathématique · Voir plus »
Logique modale
En logique mathématique, une logique modale est un type de logique formelle qui étend la logique propositionnelle, la logique du premier ordre ou la logique d'ordre supérieur avec des modalités.
Nouveau!!: Implication (logique) et Logique modale · Voir plus »
Loi de composition interne
En mathématiques, et plus précisément en algèbre générale, une loi de composition interne est une application qui, à deux éléments d'un ensemble E, associe un élément de E. Autrement dit, c'est une opération binaire par laquelle E est stable.
Nouveau!!: Implication (logique) et Loi de composition interne · Voir plus »
Loi de Peirce
En logique, la loi de Peirce est la proposition ((A \to B) \to A) \to A où \to désigne l'implication.
Nouveau!!: Implication (logique) et Loi de Peirce · Voir plus »
Modus ponens
Le modus ponens, ou détachement, est une figure du raisonnement logique concernant l'implication.
Nouveau!!: Implication (logique) et Modus ponens · Voir plus »
Modus tollens
En logique propositionnelle, le modus tollens (aussi nommé modus tollendo tollens, du Latin: « mode qui, en niant, nie ») est une forme d'argument valide et une règle d'inférence.
Nouveau!!: Implication (logique) et Modus tollens · Voir plus »
Non-implication
La non-implication matérielle, ou abjonction, (latin ab.
Nouveau!!: Implication (logique) et Non-implication · Voir plus »
Par conséquent
En typographie, par conséquent « » est un symbole, couramment employé en mathématique dans les îles Britanniques Florian Cajori, A History of Mathematical Notations, Dover Publications, 1993, 1928-1929.
Nouveau!!: Implication (logique) et Par conséquent · Voir plus »
Paradoxe du coiffeur
Le paradoxe du coiffeur (barbershop paradox) est un paralogisme présenté par Lewis Carroll dans une nouvelle intitulée A Logical Paradox, parue dans l'édition de juillet 1894 de la revue Mind.
Nouveau!!: Implication (logique) et Paradoxe du coiffeur · Voir plus »
Principe d'explosion
En logique mathématique, le principe d'explosion, énoncé en latin ou encore, ou le principe de Pseudo-Scotus, est une loi de logique classique, de logique intuitionniste et d'autres logiques, selon laquelle n'importe quel énoncé peut être déduit à partir d'une contradiction.
Nouveau!!: Implication (logique) et Principe d'explosion · Voir plus »
Prolog
Prolog est un langage de programmation logique.
Nouveau!!: Implication (logique) et Prolog · Voir plus »
Raisonnement contrefactuel
Le raisonnement contrefactuel est un type particulier de raisonnement qui consiste à modifier en imagination l'issue d'un évènement en modifiant l'une de ses causes.
Nouveau!!: Implication (logique) et Raisonnement contrefactuel · Voir plus »
Raisonnement par l'absurde
Le raisonnement par l’absurde (du latin reductio ad absurdum) ou apagogie (du grec ancien apagôgê) est une forme de raisonnement logique, philosophique, scientifique consistant à démontrer la véracité d’une proposition en prouvant l’absurdité de la proposition complémentaire (ou « contraire »).
Nouveau!!: Implication (logique) et Raisonnement par l'absurde · Voir plus »
Règle d'inférence
Dans un système logique, les régles d'inférence sont les règles qui fondent le processus de déduction, de dérivation ou de démonstration.
Nouveau!!: Implication (logique) et Règle d'inférence · Voir plus »
Réalisabilité
La réalisabilité est une branche de la logique mathématique, et plus précisément de la théorie de la démonstration, qui définit une relation logique entre les formules d'un système logique et les programmes d'un modèle de calcul.
Nouveau!!: Implication (logique) et Réalisabilité · Voir plus »
Relation transitive
En mathématiques, une relation transitive est une relation binaire pour laquelle une suite d'objets reliés consécutivement aboutit à une relation entre le premier et le dernier.
Nouveau!!: Implication (logique) et Relation transitive · Voir plus »
Sémantique de Kripke
En logique mathématique, la sémantique de Kripke est une sémantique formelle utilisée pour les logiques non-classiques comme la logique intuitionniste et certaines logiques modales.
Nouveau!!: Implication (logique) et Sémantique de Kripke · Voir plus »
Stoïcisme
Buste de Zénon de Kition, le fondateur du stoïcisme. Le stoïcisme est une école de philosophie hellénistique fondée par Zénon de Kition à la fin du à Athènes.
Nouveau!!: Implication (logique) et Stoïcisme · Voir plus »
Système formel
Un système formel est une modélisation mathématique d'un langage en général spécialisé.
Nouveau!!: Implication (logique) et Système formel · Voir plus »
Table de vérité
Une table de vérité (parfois appelée fonction de vérité) est une table mathématique utilisée en logique classique — en particulier le calcul propositionnel classique et l'algèbre de Boole — pour représenter de manière sémantique des expressions logiques et calculer la valeur de leur fonction relativement à chacun de leurs arguments fonctionnels (chaque combinaison de valeur assumée par leurs variables logiques).
Nouveau!!: Implication (logique) et Table de vérité · Voir plus »
Tautologie
La tautologie (du grec ancien, composé de, « la même chose », et, « parole »: ce qui dit la même chose) est une phrase ou un effet de style ainsi tourné que sa formulation ne puisse être que vraie.
Nouveau!!: Implication (logique) et Tautologie · Voir plus »
Théorème
En mathématiques et en logique, un théorème (du grec théorêma, objet digne d'étude) est une assertion qui est démontrée, c'est-à-dire établie comme vraie à partir d'autres assertions déjà démontrées (théorèmes ou autres formes d'assertions) ou des assertions acceptées comme vraies, appelées axiomes.
Nouveau!!: Implication (logique) et Théorème · Voir plus »
Théorème de complétude (calcul des propositions)
Le calcul des propositions est un calcul logique restreint.
Nouveau!!: Implication (logique) et Théorème de complétude (calcul des propositions) · Voir plus »
Théorème de complétude de Gödel
En logique mathématique, le théorème de complétude du calcul des prédicats du premier ordre dresse une correspondance entre la sémantique et les démonstrations d'un système de déduction en logique du premier ordre.
Nouveau!!: Implication (logique) et Théorème de complétude de Gödel · Voir plus »
Vies, doctrines et sentences des philosophes illustres
Première page de l'édition de 1594, traduction de Tommaso Aldobrandini Vies, doctrines et sentences des philosophes illustres (titre parfois abrégé en Vies des philosophes) est un ouvrage de Diogène Laërce datant probablement du.
Nouveau!!: Implication (logique) et Vies, doctrines et sentences des philosophes illustres · Voir plus »
Willard Van Orman Quine
Willard Van Orman Quine, né le à Akron (Ohio et mort le à Boston (Massachusetts), est un philosophe, logicien et universitaire américain, l'un des principaux représentants de la philosophie analytique. Il est titulaire de la chaire Edgar Pierce en tant que professeur de philosophie à l'université Harvard de 1956 à 2000. Quine est l’auteur de nombreux articles, dont notamment Deux dogmes de l'empirisme, article célèbre de 1951 qui remet en cause la distinction entre énoncés analytiques et énoncés synthétiques, et Le Mot et la Chose en 1960, où il propose sa thèse de l'indétermination de la traduction et une critique de la notion de « signification ». L’œuvre de Quine a eu une influence majeure dans les domaines de la philosophie, de la logique, de l'épistémologie et de la sémantique. Son projet d'une « épistémologie naturalisée » a notamment permis d'amorcer un tournant dans la pensée contemporaine.
Nouveau!!: Implication (logique) et Willard Van Orman Quine · Voir plus »
Redirections ici:
Implication logique, Implication matérielle, Si (logique).
