Implication (logique)

Connecteur logique entre deux assertions

En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).

Nº Q7881229 ★★★

Rare · Savoirs

Implication (logique)

Connecteur logique entre deux assertions

En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.).

Dernier prix

—

Prix plancher

—

Médiane 7 j

—

Ventes 30 j

0

Fourchette 30 j

—

En circulation

0

Cours

Voir le tableau
Datemédiane MinMaxventes

Historique des ventes

Dernière vente
—
Moyenne 30 j
—
Plus bas 30 j
—
Plus haut 30 j
—
Ventes 7 j
0
Ventes 30 j
0

Aucune vente pour l'instant.

Ventes anonymes : ni acheteur ni vendeur. Les chiffres ne comptent que les ventes entre joueurs.

№ Éditions numérotées · 0 frappées Prochain n° 1 · Score ×3
Sur Wikipédia

En logique mathématique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, généralement représenté par le symbole « ⇒ » et se lisant « … implique … », « … seulement si … » ou, de façon équivalente, « si …, alors … » comme dans la phrase « s'il pleut, alors il y a des nuages ». L'implication admet des interprétations différentes selon les différents systèmes logiques (logique classique, modale, intuitionniste, etc.). Étant un connecteur, qui produit une proposition à partir de deux autres, et qui est interprété par une opération sur les propositions ou sur les valeurs de vérités, l'implication n'est pas la déduction qui est une relation entre propositions. Les logiciens utilisent couramment pour l'implication la flèche simple « → », et encore parfois le symbole « ⊃ » introduit par Peano. La déduction logique ou l'affirmation d'un théorème peuvent être représentées par des symboles au sens proche mais non identique : « ∴ », « ⊢ » et « ⊨ ».

Texte : Wikipédia, CC BY-SA 4.0. · Image : Wikimedia Commons (Public domain) ·

Cartes voisines

Voir la fiche

Confirmation