Connexion
Statistiques
Nous avons 909 membres enregistrésL'utilisateur enregistré le plus récent est loic sonzogniNos membres ont posté un total de 6342 messagesdans 688 sujets
Qui est en ligne ?
Il y a en tout 11 utilisateurs en ligne :: 0 Enregistré, 0 Invisible et 11 Invités

Aucun

Voir toute la liste

Aimez notre page Facebook !
Les posteurs les plus actifs du mois
1 Message - 50%
1 Message - 50%
Les posteurs les plus actifs de la semaine
Partagez
Voir le sujet précédentAller en basVoir le sujet suivant
Posteur Débutant
Posteur Débutant
Messages : 1
Voir le profil de l'utilisateur

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 ici" />
J'arrive pas à écrire les axiomes, j'espère que vous saurez m'expliquer quand même. Merci !
avatar
Professeur de Mathématiques
Professeur de Mathématiques
Messages : 1936
Voir le profil de l'utilisateurhttp://www.mathsendirect.fr

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