Created page with "À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une pre..."
À ce stade, il faut également considérer que la logique des prédicats n'est pas utilisée uniquement pour prouver qu'un ensemble particulier de prémisses implique une preuve particulière...