. . . . . . . . . . . . . "\u5B9E\u8D28\u6761\u4EF6"@zh . . . . . . . . . "189113326"^^ . "Condicional material"@pt . . . "Implication et \u00E9quivalence"@fr . . . . . . . . . . . . "cori_lascar_1"@fr . . . . . . . . "Implication (logique)"@fr . . . . . . . . "\u0418\u043C\u043F\u043B\u0438\u043A\u0430\u0446\u0438\u044F"@ru . "\u041B\u043E\u0433\u0456\u0447\u043D\u0430 \u0456\u043C\u043F\u043B\u0456\u043A\u0430\u0446\u0456\u044F"@uk . "1154268"^^ . . "En logique math\u00E9matique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, g\u00E9n\u00E9ralement repr\u00E9sent\u00E9 par le symbole \u00AB \u21D2 \u00BB et se lisant \u00AB \u2026 implique \u2026 \u00BB, \u00AB \u2026 seulement si \u2026 \u00BB ou, de fa\u00E7on \u00E9quivalente, \u00AB si \u2026, alors \u2026 \u00BB comme dans la phrase \u00AB s'il pleut, alors mon gazon est arros\u00E9 \u00BB. L'implication admet des interpr\u00E9tations diff\u00E9rentes selon les diff\u00E9rents syst\u00E8mes logiques (logique classique, modale, intuitionniste, etc.). \u00C9tant un connecteur, qui produit une proposition \u00E0 partir de deux autres, et qui est interpr\u00E9t\u00E9 par une op\u00E9ration sur les propositions ou sur les valeurs de v\u00E9rit\u00E9s, l'implication n'est pas la d\u00E9duction qui est une relation entre propositions. Les logiciens utilisent couramment pour l'implication la fl\u00E8che simple \u00AB \u2192 \u00BB, et encore parfois le symbole \u00AB \u2283 \u00BB introduit par Peano. La d\u00E9duction logique ou l'affirmation d'un th\u00E9or\u00E8me peuvent \u00EAtre repr\u00E9sent\u00E9es par des symboles au sens proche mais pas identique : \u00AB \u2234 \u00BB, \u00AB \u22A2 \u00BB et \u00AB \u22A8 \u00BB."@fr . . . "Implicazione logica"@it . . . . . . . . . . . . . . . . "Logische implicatie"@nl . . . . . . . . . . . . "17133"^^ . . . . . . . "implication"@fr . "Implication"@fr . "Implication et \u00E9quivalence"@fr . . . . . . . "Condicional material"@es . . . . "En logique math\u00E9matique, l'implication est l'un des connecteurs binaires du langage du calcul des propositions, g\u00E9n\u00E9ralement repr\u00E9sent\u00E9 par le symbole \u00AB \u21D2 \u00BB et se lisant \u00AB \u2026 implique \u2026 \u00BB, \u00AB \u2026 seulement si \u2026 \u00BB ou, de fa\u00E7on \u00E9quivalente, \u00AB si \u2026, alors \u2026 \u00BB comme dans la phrase \u00AB s'il pleut, alors mon gazon est arros\u00E9 \u00BB. L'implication admet des interpr\u00E9tations diff\u00E9rentes selon les diff\u00E9rents syst\u00E8mes logiques (logique classique, modale, intuitionniste, etc.)."@fr . . . . . . . . . . . . . . . . .