1 Logique des propositions - ENSIIE

Une variable propositionnelle p est une formule. ? Si F et G sont des formules alors F ? G est une formule. ? Si F et G sont des formules alors F ? G est une ...


Un extrait du document