Ê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 GraphSearch.
Cette séance de cours couvre le concept d'arguments valides dans la logique propositionnelle, expliquant comment une séquence de prémisses peut impliquer une conclusion en utilisant des règles d'inférence et des tables de vérité. L'instructeur montre comment construire des arguments valides étape par étape, en soulignant l'importance des formes d'argument et des règles d'inférence.