Logique classique

Philosophie > sujets expliqués - Question simple

	logique classique revenir au plan			docs
		Le problème a bien été form(...)
		Je suis désolé de vous contr lire

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).

Documents attachés :

aucun document joint.