Conséquence logique
Discussion générale entre passionnés et amateurs de mathématiques sur des sujets mathématiques variés
-
Matt211
- Messages: 1
- Enregistré le: 12 Oct 2023, 01:32
-
par Matt211 » 12 Oct 2023, 01:54
Comment monter que p-->r est une conséquence logique de (p-->q)/\(q-->) ?
-
Ben314
- Le Ben
- Messages: 21709
- Enregistré le: 11 Nov 2009, 21:53
-
par Ben314 » 12 Oct 2023, 02:49
Salut,
Tu peut chercher à développer ou bien simplement regarder les tables de vérité des deux assertions.
Qui n'entend qu'un son n'entend qu'une sonnerie. Signé : Sonfucius
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 5 invités