logique.pdf - Université de Sherbrooke

logique.pdf - Université de Sherbrooke

1.2.1 Syntaxe. Les formules de la logique du premier ordre sont construites en appliquant des prédicats à des termes pour obtenir des formules atomiques, ...