Logique des propositions

[yggdrasiil]

Bonsoir,

J'ai un petit problème de logique. Je ne suis pas d'accord avec l'un de mes profs. Est-ce que quelqu'un peut m'aider ou est-ce qu'il faut que j'arrête de faire le sale gosse et que j'écoute les grandes personnes ?

Comment traduiriez-vous avec les symboles ou et ces machins-là :

[center]"A est vrai, sauf si B l'est"
[left]
Merci !
[/left]
[/center]

[Mohamed]

en logique, on utilise pas des symboles tel que -> , ya des implications et des équivalences, sinon je comprends pas ce que tu veux dire!!

[yggdrasiil]

Oui, on peut aussi utiliser pour la négation ( c'est comme ¬) et pour l'implication. Ca joue comme ça ?

[allomomo]

Salut,

Dans l'ordre :

Il existe, Pour tout, non, et, ou, implique, équivalent, implication réciproque

[yggdrasiil]

Merci, mais alors comment est-ce que tu traduirais la phrase que j'ai écrite ci-dessus avec ces symboles-là ?
(parce qu'en fait on s'éloigne complètement de la question d'origine en ce moment)

[rene38]

Bonsoir

"A est vrai, sauf si B l'est" donc, si je comprends bien :

si B est vrai alors A est faux
si B est faux alors A est vrai.

Je traduirais donc par (ou, bien sûr )

[yggdrasiil]

"A est vrai, sauf si B l'est" donc, si je comprends bien :

si B est vrai alors A est faux
si B est faux alors A est vrai.

Je traduirais donc par (ou, bien sûr )

Oui ! C'est exactement ce que j'ai moi !
Cependant, le mathématicien qui chapaute mon travail m'assure que c'est ¬B --> A (mais pas ¬A --> B) !?!
Bon, il n'est pas de langue maternelle française. Je vais essayer de voir ce que dit la version allemand du travail.