Accueil du forum
Pour afficher la ChatBox et profiter de l'aide gratuite sur le forum, inscrivez-vous puis connectez-vous !

Connexion
Aimez notre page Facebook !
Statistiques
Nous avons 1244 membres enregistrésL'utilisateur enregistré le plus récent est Alisonlondin Nos membres ont posté un total de 6768 messagesdans 811 sujets
Qui est en ligne ?
Il y a en tout 20 utilisateurs en ligne :: 1 Enregistré, 0 Invisible et 19 Invités :: 1 Moteur de recherche

Professeur T

Voir toute la liste

Les posteurs les plus actifs du mois
1 Message - 33%
1 Message - 33%
1 Message - 33%
Les posteurs les plus actifs de la semaine
1 Message - 100%
Partagez
Voir le sujet précédentAller en basVoir le sujet suivant
avatar
Posteur Débutant
Posteur Débutant
Messages : 1
Voir le profil de l'utilisateur

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

le Ven 12 Fév 2016 - 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 de Mathématiques
Professeur de Mathématiques
Messages : 2102
Voir le profil de l'utilisateurhttp://www.mathsendirect.fr

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

le Sam 13 Fév 2016 - 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