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 1205 membres enregistrésL'utilisateur enregistré le plus récent est Orange75Nos membres ont posté un total de 6765 messagesdans 809 sujets
Qui est en ligne ?
Il y a en tout 10 utilisateurs en ligne :: 0 Enregistré, 0 Invisible et 10 Invités :: 1 Moteur de recherche

Aucun

Voir toute la liste

Les posteurs les plus actifs du mois
Les posteurs les plus actifs de la semaine
Publicité
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 - 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 : 2101
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 - 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
Publicité