Inscription / Connexion Nouveau Sujet
Niveau Reprise d'études
Partager :

Logique

Posté par
zartos
13-10-19 à 23:20

Salut,

j'ai besoin de reformuler cette expression :

 \neg{ ( \neg{A} \land ( A \lor B ) \rightarrow A ) }

Alors dans les parenthèses on : A est vrai ssi  \neg{A} \land ( A \lor B ) est vrai, donc la negation serait :

meme si  \neg{A} \land ( A \lor B ) est vrai, A est faux. Et puis je ne sais plus quoi faire.

Merci d'avance

Posté par
Zormuche
re : Logique 14-10-19 à 02:47

bonjour

la négation est plus précisément  (\lnot A \land (A \lor B))\land A

développe alors \lnot A \land (A \lor B)

PS : ton message n'est pas posté dans la bonne section

Posté par
zartos
re : Logique 15-10-19 à 00:14

Salut

merci pour votre réponse. J'ai trouvé

\lnot A \land (A \lor B) \land \lnot A
 \\ 
 \\ \leftrightarrow  A \lor B


Sinon quelle serait la bonne section pour mon message ? Peut-etre que je ne l'ai pas vue dans la liste

Posté par
Zormuche
re : Logique 15-10-19 à 16:17

Non,

déjà on peut enlever un des (non A) car ils jouent le même rôle

on a donc  \lnot A \land (A \lor B)

ensuite ?

Posté par
matheuxmatou
re : Logique 15-10-19 à 16:43

Zormuche @ 14-10-2019 à 02:47



la négation est plus précisément  (\lnot A \land (A \lor B))\land A


je ne crois pas

plutôt

(\lnot A \land (A \lor B))\land \lnot A

non ?

Posté par
Zormuche
re : Logique 15-10-19 à 16:54

oui, mais ayant vu que zartos avait corrigé lui-même mon erreur, je n'ai pas jugé nécessaire de le faire

Posté par
matheuxmatou
re : Logique 15-10-19 à 17:12

Zormuche oui... je l'ai vu ensuite

Posté par
zartos
re : Logique 15-10-19 à 21:28

Ah oui, j'ai enlevé les deux \lnot A au lieu d'une seule.

Alors on a \lnot A \land ( A \lor B )

\rightleftarrow ( \lnot A \land A ) \lor ( \lnot A \land B )

et puis c'est tout ? Y'a t-il une autre étape à faire ?

Posté par
Zormuche
re : Logique 15-10-19 à 23:29

(\lnot A \land A) ça vaut quoi ?

Posté par
zartos
re : Logique 16-10-19 à 01:42

c'est toujours faux mais je ne vois pas comment je peux la reformuler

Posté par
matheuxmatou
re : Logique 16-10-19 à 09:52

et que vaut l'expression

(Faux) P

?

Posté par
zartos
re : Logique 16-10-19 à 11:49

Bah ça dépend de P non? Donc on peut négliger (\lnot A \land A) ?

Posté par
matheuxmatou
re : Logique 16-10-19 à 17:45

il faudra revoir les bases, et notamment l'élément neutre pour la loi "OU"

(Faux) OU P = P

fait une table de vérité

Posté par
matheuxmatou
re : Logique 16-10-19 à 17:47

et

(non A) ET A = (Faux)

cela s'appelle la règle de non-contradiction

on ne peut pas avoir en même temps une chose et son contraire !

Posté par
zartos
re : Logique 16-10-19 à 22:14

C'est clair! Merci à tous



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 1675 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 !