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
1 résultat trouvé
Revenir à la recherche avancée
- 25 Mai 2005, 14:52
- Forum: ✯✎ Supérieur
- Sujet: Logique des propositions
- Réponses: 6
- Vues: 878
- 1 résultat trouvé - Page 1 sur 1
Tu pars déja ?
Fais toi aider gratuitement sur Maths-forum !
Créé un compte en 1 minute et pose ta question dans le forum ;-)
Identification
Pas encore inscrit ?
Ou identifiez-vous :