Forum de Mathématiques: Maths-Forum

mon resultat pour le tabelau ,, pour [P . (P---»Q)] ---» Q c'est des 1 partout ,, ?

ah ok

Merci pour vous de m'expliquer l'implication de bool ,, je n'arrive pas a la comprendre ,,

[P . (P---»Q)] ---» Q


[(P---»Q) . (Q---»R)] ---» (P----»R)

Merci d'avance pour votre aide