Bonjour,
Je bloque un peu sur un exercice ou il faut vérifier la validité de raisonnement en utilisant la méthode de résolution de Robinson :
{A et B => C , ┐B ou A , B } |= C
Donc
H1 : A et B => C
H2 : ┐B ou A
H3 : B
conclusion : C
Je n'arrive pas à passer sous forme clausale
Merci pour votre aide
-----