Syntaxe en logique

geo · August 2017

Bonjour pour comprendre un peu la syntaxe de la logique, est ce que ce qui suit est correct?

$\forall x\in A (\forall y \in B (\forall z\in C \Rightarrow P(x;y;z))$

ici x et y sont des constante et z est liée

$\forall x\in A \forall y \in B (\forall z\in C \Rightarrow P(x;y;z))$

ici x et y sont libres.

Merci

gerard0 · August 2017

Bonjour.

Je ne comprends pas trop ce $\Rightarrow$ sans propriété avant, ni quelle différence tu fais entre les deux écritures.

Cordialement.

Maxtimax · August 2017

Si ton but est de tout détailler à fond pour rentrer dans le cadre des formules qu'on définit formellement, alors non ce n'est pas correct car on ne doit pas écrire $\forall x\in A$ mais $\forall x, x\in A\implies$

Sinon, si ton but est par exemple de savoir écrire formellement mais en utilisant tout de même des abbréviations, à l'exception de la remarque de gerard0, aucun problème.

geo · August 2017

Oui Gérard j'ai oublié une proposition avant.

En fait j'essaye de me mettre à la logique car c'est très intéressant.

Auriez vous des références abordables pour un novice en logique?

Merci.

ps: J'ai trouvé quelques cours sur le net mais c'est un peu flou.

celastus · August 2017

Ma bible, et sans aucun doutes une référence : http://www.jhtm.nl/tudelft/tw3520/Introduction_to_Mathematical_Logic.pdf

christophe c · August 2017

Remettez m'en une tite louche de 450 pages msieur SVP :-D

pldx1 · August 2017

En fait je ne sais pas à quoi servent les parenthèses.

Facile. Dans $\forall x\in A (\forall y \in B (\forall z\in C \Rightarrow P(x;y;z))$ les parenthèses servent à prouver que, en 10 années de forum, tu ne t'es toujours pas convaincu du fait que, dans une expression bien formée, il y a autant de parenthèses ouvertes que de parenthèses fermantes.

Et maintenant plus difficile: que peut-on en déduire ?

geo · August 2017

J 'ai compris grâce à ceci logique

Syntaxe en logique

Réponses

Bonjour!

Catégories

In this Discussion

Qui est en ligne 25