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

Aucun

Voir toute la liste

Derniers sujets
Les posteurs les plus actifs du mois
8 Messages - 38%
5 Messages - 24%
3 Messages - 14%
3 Messages - 14%
2 Messages - 10%
Les posteurs les plus actifs de la semaine
3 Messages - 38%
3 Messages - 38%
2 Messages - 25%
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 : 2222
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