A l'aide logique

[Paradoxa]

Bonjours pouvez vous m'aider à résoudre ce problème de logique mathématique:


Il faut absolument que je prouve par contradiction:

A v B => C
C => D v E
E => F
non D et non F |=> non B

:mur: :mur: :mur: merci !

[Anonyme]

Bonjours pouvez vous m'aider à résoudre ce problème de logique mathématique:


Il faut absolument que je prouve par contradiction:

A v B => C
C => D v E
E => F
non D et non F |=> non B

Bonjour
Question :
Que veut dire le signe : |=> ??

Pour info :
comme l'oppose de V est ET
on a par la contraposée de A v B => D v E : non D ET non E => non A ET non B
on a par la contraposée de C => D v E : non D ET non E => non C
on a par la contraposée de E => F : non F => non E