Informations du cours

Ce cours-TD est une introduction à la logique formelle classique. Une première partie du cours porte sur la logique propositionnelle. Sa syntaxe et sa sémantique sont présentées et un système de preuves est introduit. Les enjeux de la formalisation et la question philosophique de la justification des règles logiques sont discutés à cette occasion. La seconde partie du cours est consacrée à la logique des prédicats monadiques et constitue une transitionvers le cours de logique avancée proposé au S2.