Forum de Mathématiques: Maths-Forum

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 !

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 !