Connexion
Aimez notre page Facebook !
Statistiques
Nous avons 1326 membres enregistrésL'utilisateur enregistré le plus récent est No3mieNos membres ont posté un total de 6822 messagesdans 821 sujets
Qui est en ligne ?
Il y a en tout 13 utilisateurs en ligne :: 1 Enregistré, 0 Invisible et 12 Invités :: 1 Moteur de recherche

No3mie

Voir toute la liste

Les posteurs les plus actifs du mois
14 Messages - 48%
6 Messages - 21%
4 Messages - 14%
2 Messages - 7%
2 Messages - 7%
Les posteurs les plus actifs de la semaine
5 Messages - 56%
2 Messages - 22%
2 Messages - 22%
Partagez
Voir le sujet précédentAller en basVoir le sujet suivant
avatar
Jojolamenacemmo
Posteur Débutant
Posteur Débutant
Messages : 1

Système axiomatique de Lukasievicz démonstration Empty Système axiomatique de Lukasievicz démonstration

le Ven 12 Fév - 18:17
Réputation du message : 100% (1 vote)
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 iciSystème axiomatique de Lukasievicz démonstration Arithm11" />
J'arrive pas à écrire les axiomes, j'espère que vous saurez m'expliquer quand même. Merci !
Professeur T
Professeur T
Professeur de Mathématiques
Professeur de Mathématiques
Messages : 2140
http://www.mathsendirect.fr

Système axiomatique de Lukasievicz démonstration Empty Re: Système axiomatique de Lukasievicz démonstration

le Sam 13 Fév - 12:20
Salut, est-ce que tu pourrais être plus précis ? Smile
- Quels sont les axiomes de départ ?
- Que veux-tu montrer ?
Voir le sujet précédentRevenir en hautVoir le sujet suivant
Permission de ce forum:
Vous ne pouvez pas répondre aux sujets dans ce forum