Séance de cours
Cette séance de cours couvre l'interprétation de la logique de proposition, y compris la satisfabilité, la validité et les règles d'inférence pour l'implication, la conjonction et la double négation. Il traite également de la correction, de l'exhaustivité et de la cohérence dans le raisonnement logique.