logique et ensemble

[invitecafd8788]

bonjour à tous
j'ai un ensemble A = {a,b,c→d} pouvons nous dire que c€A et d€A
-----

[invite57a1e779]

Bonjour

Que signifie « c→d » ?

[invitecafd8788]

c → d veut dire c implique d

[invite57a1e779]

Alors je ne comprends pas ta notation pour l'ensemble A : dans un ensemble, il y a d'autres ensembles, pas expressions de la forme c → d.

[A voir en vidéo sur Futura]

[Médiat]

c → d veut dire c implique d

Ne serait-ce pas plutôt les applications de c dans d ?

[invitecafd8788]

ici je veux dire que A est un ensemble de formules: a,b,c,d sont des formules atomiques. Autrement nous pouvons dire que A est un ensemble de connaissances.
Donc c → d est aussi une formule.

[invite57a1e779]

Si , ses seuls éléments sont , et .
On a donc si, et seulement si, ou ; de même pour .

[invitea4b4dcde]

ici je veux dire que A est un ensemble de formules: a,b,c,d sont des formules atomiques. Autrement nous pouvons dire que A est un ensemble de connaissances.
Donc c → d est aussi une formule.

Bonjour!
comme tu a dit que A est un "ensemble de formules", quelles types de formules?? par exemple ici tu a dit c->d donc ici la formule c'est l'implication, si a et b sont aussi des formules sur des propositions, on ne peut pas dire que c et d appartiennent à A.