TD no 1 Calcul propositionnel ? syntaxe et sémantique

formes propositionnelles) en formalisant les opérations logiques usuelles de la langue naturelle. OPÉRATION ... Exercice : Construire les tables de vérité de.