Séance de cours
Cette séance de cours couvre le calcul des propositions, centrées sur la logique prédictive, avec des références au travail de Bernays. Les sujets comprennent les formules logiques, les annotations et l'édition, en mettant l'accent sur les connectifs logiques et la satisfabilité.