. . . "Un syst\u00E8me logique est un syst\u00E8me formel d\u00E9di\u00E9 au raisonnement et aux d\u00E9ductions logiques. Il est constitu\u00E9 : \n* d'un ensemble de formules, y compris un ensemble d'axiomes donn\u00E9s pour vrais et comme point de d\u00E9part du raisonnement ; \n* d'un ensemble de r\u00E8gles de d\u00E9duction permettant de d\u00E9finir le type de raisonnement applicables dans ce syst\u00E8me ; \n* d'une interpr\u00E9tation des formules, permettant de pr\u00E9ciser le sens des formules. Les deux premiers items de cette liste font d'un syst\u00E8me logique un syst\u00E8me formel, ce troisi\u00E8me item est sp\u00E9cifique aux syst\u00E8mes logiques. \n* Portail de la logique"@fr . . . . . "1122"^^ . . "Syst\u00E8me logique"@fr . . . . . "8195052"^^ . . . "Un syst\u00E8me logique est un syst\u00E8me formel d\u00E9di\u00E9 au raisonnement et aux d\u00E9ductions logiques. Il est constitu\u00E9 : \n* d'un ensemble de formules, y compris un ensemble d'axiomes donn\u00E9s pour vrais et comme point de d\u00E9part du raisonnement ; \n* d'un ensemble de r\u00E8gles de d\u00E9duction permettant de d\u00E9finir le type de raisonnement applicables dans ce syst\u00E8me ; \n* d'une interpr\u00E9tation des formules, permettant de pr\u00E9ciser le sens des formules. Les deux premiers items de cette liste font d'un syst\u00E8me logique un syst\u00E8me formel, ce troisi\u00E8me item est sp\u00E9cifique aux syst\u00E8mes logiques. On compte de nombreux syst\u00E8mes logiques, dont notablement le syst\u00E8me de d\u00E9duction naturelle. En logique classique, l'interpr\u00E9tation est une fonction qui prend ses valeurs dans un ensemble binaire de valeur de v\u00E9rit\u00E9, {Vrai, Faux} par exemple, en fonction de la valeur de v\u00E9rit\u00E9 des variables des formules. \n* Portail de la logique"@fr . . "129337082"^^ . .