Title: Règles de déduction naturelle
Course: Test d'acceptation: Moodle 2.0 > Section: Calcul propositionnel

La tautologie et la contradiction constitue des cas limites en logique.