10 résultats trouvés

Revenir à la recherche avancée


euh non c'est pas ca qui est demandé car on est pas dans le vrai ou faux, 3 cas son possible : VRAI FAUX ou n'importe lequel des 2, enfin tu verras ca..... ;)
par flowent
15 Aoû 2005, 01:01
 
Forum: ✯✎ Supérieur
Sujet: Deduction Naturelle
Réponses: 14
Vues: 1537

je suis d'accord que c'est evident mais c'est la facon de le faire.....
et pour l'instant, pas d'idée...
par flowent
15 Aoû 2005, 00:53
 
Forum: ✯✎ Supérieur
Sujet: Deduction Naturelle
Réponses: 14
Vues: 1537

ben tout ce que je peux dire c'est que si tu sais pas ce que cela veut dire, je pense que tu ne pourras m'aider... masi merci ;) Pour info Gamma veut dire que c'est n'importe quoi la virgule c'est une virgule lol juste pour separer et le symbole pour dire que a partire de gauche on a la droite (un i...
par flowent
15 Aoû 2005, 00:19
 
Forum: ✯✎ Supérieur
Sujet: Deduction Naturelle
Réponses: 14
Vues: 1537

ben c'est la notation qu'on m'a apprise sur la deduction naturelle.. à partie du haut il faut demontrer le bas si tu veux....
par flowent
14 Aoû 2005, 23:26
 
Forum: ✯✎ Supérieur
Sujet: Deduction Naturelle
Réponses: 14
Vues: 1537

Deduction Naturelle

Bonjour,

Voilà j'aurai besoin de votre aide pour demontrer ceci :


------------
par flowent
14 Aoû 2005, 23:13
 
Forum: ✯✎ Supérieur
Sujet: Deduction Naturelle
Réponses: 14
Vues: 1537

Exact, au temps pour moi ; j'avais simplement ecris : [CENTER] \neg(A\to B)\equiv\neg(\neg A \vee B)\equiv A\wedge \neg B [/CENTER][/quote] ce qui reviens au meme ;) Donc j'ai rien dit ;) :--: Salut ! Peut-être que je me trompe, mais je maintiens le contexte de mon séquent que tu veu...
par flowent
13 Aoû 2005, 20:32
 
Forum: ✯✎ Supérieur
Sujet: Logique : Probleme Système deductif CP0
Réponses: 11
Vues: 1655

Je pense que tu as une petit erreur : c'est pas : [CENTER] \Gamma=\neg A\wedge B,B\to A\vdash C [/CENTER] mais [CENTER] \Gamma= A\wedge \neg B,B\to A\vdash C [/CENTER] cependant on y arrive quand meme, merci de votre aide Salut ! Cela ne change pas grand chose : Supposons que l'on ne s'autorise pas ...
par flowent
13 Aoû 2005, 20:01
 
Forum: ✯✎ Supérieur
Sujet: Logique : Probleme Système deductif CP0
Réponses: 11
Vues: 1655

En fait ce qui me derange c'est : Bon, on veut : [CENTER] \vdash\neg (A\to B)\to((\neg A\vee B)\to C) [/CENTER] c'est-à-dire : [CENTER] \vdash\neg(A\to B)\to B\to A\to C [/CENTER] ca devrais plutot etre : [CENTER] \vdash\neg(A\to B)\to ((B\to A)\to...
par flowent
13 Aoû 2005, 17:11
 
Forum: ✯✎ Supérieur
Sujet: Logique : Probleme Système deductif CP0
Réponses: 11
Vues: 1655

en latex :



merci de votre aide ;)
par flowent
11 Aoû 2005, 17:30
 
Forum: ✯✎ Supérieur
Sujet: Logique : Probleme Système deductif CP0
Réponses: 11
Vues: 1655

Logique : Probleme Système deductif CP0

Bonjour,

je n'arrive à resoudre ce problème
Demontrer avec ET sans les règles à la Gentzen :
|- non(A -> B ) -> (( nonA OU B) -> C)

Merci de votre aide
par flowent
11 Aoû 2005, 16:16
 
Forum: ✯✎ Supérieur
Sujet: Logique : Probleme Système deductif CP0
Réponses: 11
Vues: 1655

Revenir à la recherche avancée

Tu pars déja ?



Fais toi aider gratuitement sur Maths-forum !

Créé un compte en 1 minute et pose ta question dans le forum ;-)
Inscription gratuite

Identification

Pas encore inscrit ?

Ou identifiez-vous :

Inscription gratuite