| mon CyberProf |  | je pose une question |  | je demande à corriger un exercice |  | je souhaite la correction d'un devoir |
| Le problème a bien été formulé avec p seulement. Le 2ème exo est pareil (ac p aussi): Montrer que la formule (p<-/-p)<-/- p est équivalente à p. Que dire des formules p <-/-(p<-/-p) et (p<-/-p)<-/-(p<-/-p)? Montrer que si A et B st 2 formules dt chacune est soit 1 antinomie, soit équivalente à p, alors A<-/-B est soit 1 antinomie soit équivalente à p. Conclure qu'1 système ne comportant pas d'autre connecteur que <-/- ne permet pas d'écrire 1 équivalent de n'importe qu'elle formule du calcul usuel. (questions d'exam de 2002, la logique est mon point noir dans mes études de philo, je suis très faible et c'est à cause de cette matière que je n'ai pas eu mon DEUG l'année dernière). |
|||||
|
... |
||||
Connectez-vous pour consulter les réponses du CyberProf