Êtes-vous un étudiant de l'EPFL à la recherche d'un projet de semestre?
Travaillez avec nous sur des projets en science des données et en visualisation, et déployez votre projet sous forme d'application sur Graph Search.
Cette séance de cours couvre le concept d'arguments valides dans la logique propositionnelle, expliquant comment déterminer si une forme d'argument est valide en utilisant des tables de vérité et des règles d'inférence. Il montre également comment construire un argument valide étape par étape, en partant des prémisses jusqu’à la conclusion.