Title: Test synthèse: module 1
Course: Test d'acceptation: Moodle 2.0 > Section: Calcul propositionnel

Ce test synthèse porte sur l'ensemble du module sur le calcul propositionnel. Vous devrez faire quelques arbres de vérité pour tester les propriétés logiques suivantes: validité, consistence, tautologie et contradiction. Il y aura aussi quelques déductions naturelles à faire.