Répondre à : Logique des prédicats

[Ramadan]

Bonjour Mr.je ne comprends pas comment vérifie si  les formules et bien formés sans utiliser le tableau de vérité?vous avez donné l’exercice dans le cours sur ça mais je ne parviens pas à montrer sans utiliser le tableau de vérité