Urgent Logique par contradiction

[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 !

[manoa]

Salut !

Écris comme ça je ne comprend pas grand chose à ta demande , peux-tu préciser ce que tu veux dire par : "par contradiction" , le symbole "v" et aussi les lettres :A,B...