< Logique formelle
Un système logique est un système formel dans lequel il va être possible de tenir des raisonnements logiques.
Il est composé de trois éléments :
- un ensemble de formules;
- un ensemble de règles de déduction;
- une interprétation de ces formules.
Les deux premiers points seront développés à l'aide des exemples du calcul des propositions et des prédicats, et le dernier point sera développé à la fin de ce cours.
Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.