- JojolamenacemmoPosteur Débutant
- Messages : 1
Système axiomatique de Lukasievicz démonstration
Ven 12 Fév - 18:17
Bonjour, il y a une démonstration que j'ai du mal à comprendre dans le cadre du système axiomatique de Lukasevicz qui comprend les deux règles d'inférence (modus ponens et substitution) et quelques axiomes.
La démonstration se trouve ici[img]https://i.servimg.com/u/f68/17/09/72/88/arithm11.gif[/img]" />
J'arrive pas à écrire les axiomes, j'espère que vous saurez m'expliquer quand même. Merci !
La démonstration se trouve ici[img]https://i.servimg.com/u/f68/17/09/72/88/arithm11.gif[/img]" />
J'arrive pas à écrire les axiomes, j'espère que vous saurez m'expliquer quand même. Merci !
Re: Système axiomatique de Lukasievicz démonstration
Sam 13 Fév - 12:20
Salut, est-ce que tu pourrais être plus précis ?
- Quels sont les axiomes de départ ?
- Que veux-tu montrer ?
- Quels sont les axiomes de départ ?
- Que veux-tu montrer ?
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum
|
|