Report - Cours 2: Calcul propositionnel. Calcul des prédicats ... · i est un axiome de la logique bool eenne; ou bien F i s’obtient par modus ponens a partir de deux formules F j;F k avec

Please pass captcha verification before submit form