Forum de Mathématiques: Maths-Forum

Merci d'avoir répondu aussi vite. Par contre je tourne en rond à tenter de prouver C faux. $$\frac{\frac{\frac{\frac{\frac{\mathbf{c}\hspace{5mm}{\neg \mathbf{c}}^{(3)}\hspace{5mm}\hspace{-5mm}}{\bot}(I\bot)\hspace{5mm}\hspace{-5mm}}{\neg \neg \mathbf{c}}(I\neg)(3)\hs...

Beaucoup de misère prouver par le bas (((a imply b) AND (b imply c)) imply (a imply b)).

Merci