Logique propositionnelle intuitionniste (4 pts) Exercice 3 - LaBRI
Exercice 1: Pour chacune des formules suivantes, dessiner son arbre de ... V ar(p) = {p} si p est une variable propositionnelle. ? V ar(¬A) = V ar(A).
Exercice 1: Pour chacune des formules suivantes, dessiner son arbre de ... V ar(p) = {p} si p est une variable propositionnelle. ? V ar(¬A) = V ar(A).