Connexion
Statistiques
Nous avons 897 membres enregistrésL'utilisateur enregistré le plus récent est ExoSlashNos membres ont posté un total de 6295 messagesdans 683 sujets
Qui est en ligne ?
Il y a en tout 6 utilisateurs en ligne :: 0 Enregistré, 0 Invisible et 6 Invités :: 1 Moteur de recherche

Aucun

Voir toute la liste

Aimez notre page Facebook !
Les posteurs les plus actifs du mois
4 Messages - 25%
4 Messages - 25%
3 Messages - 19%
3 Messages - 19%
2 Messages - 13%
Les posteurs les plus actifs de la semaine
Publicité
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 : 1918
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