Inscription / Connexion Nouveau Sujet
Niveau bts
Partager :

contraposée de l’assertion

Posté par
ivolavo27
12-06-19 à 16:23

Bonjour,

Écrire en language symbolique la contraposée de l'assertion, de telle sorte que le
symbole ¬ n'apparaisse que directement devant les assertions A et B.
A ⇒ (A ⇒ ¬B)

Ma solution:
( B  ⇒ ¬A ) ⇒ ¬A

Il est correct? Merci par avance

Posté par
matheuxmatou
re : contraposée de l’assertion 12-06-19 à 17:22

bonjour

Non !

revoir la négation d'une implication

Posté par
matheuxmatou
re : contraposée de l’assertion 12-06-19 à 17:23

la première phase est d'écrire

(A B) A

ensuite il faut transformer le membre de gauche

que vaut (PQ) ?

Posté par
ivolavo27
re : contraposée de l’assertion 12-06-19 à 20:21

matheuxmatou
Merci! Je voulais faire la contraposée de (A ⇒ ¬B) .. mais en effet c'est pas correct.

La negation d'une implication est (P ∧ ¬Q)

Donc la solution faut etre:

(A ∧ B) ⇒ ¬A
Correct?

Posté par
matheuxmatou
re : contraposée de l’assertion 13-06-19 à 10:06

oui

Posté par
ivolavo27
re : contraposée de l’assertion 13-06-19 à 10:09

matheuxmatou Merci !

Posté par
matheuxmatou
re : contraposée de l’assertion 13-06-19 à 17:40

pas de quoi

Répondre à ce sujet

Seuls les membres peuvent poster sur le forum !

Vous devez être connecté pour poster :

Connexion / Inscription Poster un nouveau sujet
Une question ?
Besoin d'aide ?
(Gratuit)
Un modérateur est susceptible de supprimer toute contribution qui ne serait pas en relation avec le thème de discussion abordé, la ligne éditoriale du site, ou qui serait contraire à la loi.


Vous devez être membre accéder à ce service...

Pas encore inscrit ?

1 compte par personne, multi-compte interdit !

Ou identifiez-vous :


Rester sur la page

Inscription gratuite

Fiches en rapport

parmi 1379 fiches de maths

Désolé, votre version d'Internet Explorer est plus que périmée ! Merci de le mettre à jour ou de télécharger Firefox ou Google Chrome pour utiliser le site. Votre ordinateur vous remerciera !