Logique Formelle

Preuve par réfutation

Technique de démonstration consistant à supposer la négation de la conclusion et à démontrer une contradiction avec les prémisses.

← Retour