Symbole Implication

[invite7849ae55]

Bonjour.
Dans plusieurs livres différents, je vois écrit que est une autre notation pour dire
D'un point de vue ensembliste, si et que désigne le faux et le vrai, alors désigne l'implication.
Et ce qui me perturbe encore plus, c'est que le "ou" () et le "et" () sont employés par ceux qui utilisent ce signe d'implication () et viennent du point de vue ensembliste (resp. et ).

Je ne comprends pas, pouvez-vous m'éclairer sur ce choix de notation ?
Je vous remercie.
-----

[Médiat]

Bonjour,

et sont unanimement utilisés par les logiciens et beaucoup de mathématiciens, généralement avec pour l'implication (et parfois ), et parfois on trouve (comme le complémentaire) pour .

Le lien entre "et", "ou" et "non" et les ensembles est assez clair, il me semble, et si vous traduisez par , vous obtenez très exactement (d'ailleurs comment traduire "si p alors q", si ce n'est pas l'inclusion ?);

[invite7849ae55]

Je vous remerci, mais je n'ai pas compis ce qui explique ce "sens" de l'inclusion utilisé par de nombreux livres de logique qui n'est pas, comme nous avons chacun aboutis mais : .
C'est cela que je ne comprends pas.

Merci.

[invite7849ae55]

(désolé pour les fautes de frappe, je n'écris pas depuis un ordinateur et je ne trouve pas le bouton "éditer")
(ah ben sur ce message-ci, il y a un bouton "modifier", étrange)

[A voir en vidéo sur Futura]