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

Conséquence logique

par Matt211 » 12 Oct 2023, 01:54

Comment monter que p-->r est une conséquence logique de (p-->q)/\(q-->) ?



Avatar de l’utilisateur
Ben314
Le Ben
Messages: 21709
Enregistré le: 11 Nov 2009, 21:53

Re: Conséquence logique

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

 

Retourner vers ⚜ Salon Mathématique

Qui est en ligne

Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 8 invités

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite