Nombre de messages : 404 Age : 34 Localisation : machi sou9ak Date d'inscription : 11/08/2006
Sujet: exercice logique Lun 27 Nov 2006, 20:33
on a p et q montrer que si [(petq)=>7q] et [(pet 7q)=>q] et vrai alors p et faux
selfrespect Expert sup
Nombre de messages : 2514 Localisation : trou noir Date d'inscription : 14/05/2006
Sujet: Re: exercice logique Jeu 30 Nov 2006, 13:58
salut on a ([(petq)=>7q] et [(pet 7q)=>q]) est vrai <==>[7q et (7p ou 7q)] et [q et (7p ou q)] est vrai <=>[(7q et 7p) ou 7q] et [(q et 7p) ou (q et p)] est vrai <=>[(7q et 7p) ou 7q] est vrai (1) et [(q et 7p) ou (q et p)] est vrai (2) on suppose p est vraie ** si q est vraie (1) nest pas verifiée **si q est fausse (2) nest pas verifiée dans les deux cas lequivalence nest pas verifiée donc p est fausse
L Expert sup
Nombre de messages : 1558 Age : 33 Date d'inscription : 03/09/2007
Sujet: Re: exercice logique Mer 12 Sep 2007, 15:17
est ce qu'on a le droit d'utiliser le tableau de verite pour ca ?
Accueil 
