Bonjour,
j'ai un petit théorème qu je n'arrive pas à démontrer:
((A<=>B) => (A=>B)) est une tautologie.
Je suis Ok sur le fait que c'est une tautologie, mais je voudrai la démonter sans passer les tables de vérité. Il y a bien une autre façon?
Merci