Inscription / Connexion Nouveau Sujet
Niveau IUT/DUT
Partager :

BUT informatique : forme propositionnelle et arbres syn

Posté par
Leoniedeville
11-09-21 à 11:37

Bonjour, j'ai besoin de votre aide :

Écrivez les formes propositionnelles correspondant aux arbres syntaxiques suivants :

Merci beaucoup si quelqu'un a le courage de m'aider, bonne journée.

BUT informatique : forme propositionnelle et arbres syn

BUT informatique : forme propositionnelle et arbres syn

Posté par
malou Webmaster
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 11:51

Bonjour Leoniedeville
merci de modifier ton profil (tu n'es plus en terminale )en allant dans ton espace membre

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 14:44

Bonjour, c'est vrai excusez-moi

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 15:13

Bonjour,

Une possibilité est de commencer par le bas de l'arbre et de remonter.
Dans le bas de l'arbre du iii) tu reconnais sûrement un p\to q et un \neg q. Après, tu remontes en remplaçant chaque noeud par la forme propositionnelle représentant le sous-arbre sous ce noeud.

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 17:48

Bonjour, j'avoue ne pas trop avoir compris, je vous  mets quand même 2 propositions de ma part :

Merci de me dire, si par hasard, une proposition est correct .

Bonne fin de journée.



.

BUT informatique : forme propositionnelle et arbres syn

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 19:10

Désolé, c'est incompréhensible.


Je dis simplement que tu peux commencer par remplacer le sous-arbre

\large \usepackage[all]{xy}\xymatrix{    &\to& \\ p \ar@{-}[ur] && q \ar@{-}[ul] }  par la formule \large p\to q

le sous-arbre

\large \usepackage[all]{xy}\xymatrix{    &\neg \\ &q \ar@{-}[u] }  par la formule \large \neg q

et continuer en remontant dans l'arbre

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 21:00

D'accord, donc on se retrouve avec ça à la fin ?

Merci pour votre  aide

BUT informatique : forme propositionnelle et arbres syn

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 21:54

Non, c'est n'importe quoi ce que tu fais là.

Posté par
malou Webmaster
re : BUT informatique : forme propositionnelle et arbres syn 11-09-21 à 21:56

et la modification du profil s'il te plaît...

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 10:42

Je reprends l'exemple du ii)

 \usepackage[all]{xy}\large\xymatrix{    &\to&& \\ p \ar@{-}[ur] && \to \ar@{-}[ul]&\\ &  p \ar@{-}[ur] &&  q \ar@{-}[ul]  }

Première étape :

 \usepackage[all]{xy}\large \xymatrix{    &\to& \\ p \ar@{-}[ur] && p\to q \ar@{-}[ul] }

Deuxième et dernière étape :

\large p \to (p\to q)

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 10:51

Je vois que tu avais posé la question de l'utilité des parenthèses. Je pense que tu vois leur utilité pour
\large 3-(2+1)=0. Ce n'est pas la même chose que \large (3-2)+1=2.
Eh bien ici, c'est exactement pareil.

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 11:12

Bonjour, merci pour votre aide et votre précision .  Je vous remets ci-joint 2 nouvelles propositions avec la structuration des étapes (Car malgré votre patience, mon cerveau à dû mal à assimiler quelque chose de concret...)

Merci encore pour votre aide.

BUT informatique : forme propositionnelle et arbres syn

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 11:31

Ça ne va pas du tout à la troisième étape, ce que tu fais n'a aucun sens. Il faut remonter dans l'arbre, ici remplacer le sous-arbre

 \usepackage[all]{xy}\large\xymatrix{    &\vee& \\ p \to q\ar@{-}[ur] && \neg q \ar@{-}[ul]}

par une formule propositionnelle. Je te laisse voir quelle formule, et continuer.

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 12:16

C'est bon ?  

BUT informatique : forme propositionnelle et arbres syn

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 12:38

Il y a du mieux, mais tu as tout de même trouvé le moyen de te tromper de côté !
Et fais un petit effort pour écrire plus lisiblement.

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 14:38

D'accord, là je pense que c'est enfin correct

BUT informatique : forme propositionnelle et arbres syn

Posté par
Leoniedeville
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 14:40

Petite question:  Je me suis inventé un arbre syntaxique pour mieux comprendre. Est-ce que ce passage à la forme propositionnelle est correcte ?

BUT informatique : forme propositionnelle et arbres syn

Posté par
GBZM
re : BUT informatique : forme propositionnelle et arbres syn 12-09-21 à 16:07

Oui. On dirait que ça rentre.



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 !