 Interpréter l'expression donnée en utilisant la logique symbolique.
 (p \u2192 q) \u2227 (q \u2192 r)
 L'expression peut être interprétée comme "Si p alors q et si q alors r". Cela implique que si p est vrai, alors q et r seront tous les deux vrais.