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, 00:01
-
- Forum: ✯✎ Supérieur
- Sujet: Deduction Naturelle
- Réponses: 14
- Vues: 1541
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
- 14 Aoû 2005, 23:53
-
- Forum: ✯✎ Supérieur
- Sujet: Deduction Naturelle
- Réponses: 14
- Vues: 1541
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
- 14 Aoû 2005, 23:19
-
- Forum: ✯✎ Supérieur
- Sujet: Deduction Naturelle
- Réponses: 14
- Vues: 1541
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, 22:26
-
- Forum: ✯✎ Supérieur
- Sujet: Deduction Naturelle
- Réponses: 14
- Vues: 1541
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, 19:32
-
- Forum: ✯✎ Supérieur
- Sujet: Logique : Probleme Système deductif CP0
- Réponses: 11
- Vues: 1660
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, 19:01
-
- Forum: ✯✎ Supérieur
- Sujet: Logique : Probleme Système deductif CP0
- Réponses: 11
- Vues: 1660
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, 16:11
-
- Forum: ✯✎ Supérieur
- Sujet: Logique : Probleme Système deductif CP0
- Réponses: 11
- Vues: 1660