Logique classique: réponse

Philosophie > sujets expliqués - Question simple
                
N'étant moi-même pas prof de logique, je vous renvoie la réponse d'un ami qui l'est et s'en est préoccupé (d'où le retard):

La suite était: montrer que les expressions suivantes st ds tautologies: p-->(q-->p),[p-->(q-->r)] -->[(p-->q)-->(p-->r)] et montrer à l'aide de la règle de détachement qu'alors les expressions suivantes st aussi ds tautologies: p-->p, (q-->r)-->[(p-->q)-->(p-->r)].

Pour les deux premieres, le plus simple serait de recourir aux tables de verites. Il suffit de faire ses tables ça se verra immédiatement que c'est ok (c'est comme dans le Tractatus).

Pour la seconde partie de la question, ce n'est pas tres clair, qu'a t on le droit d'utiliser ? Reglement de detachement, c'est le modus ponens (MP). Personnellement, je ne vois pas de maniere immediate de les obtenir a partir des deux premieres en utilisant MP. N'y en avait-il pas d'autres qu'on avait le droit d'utiliser ?
A tout hasard, une preuve en deduction naturelle, avec juste intro de --> et MP
p
_
p-->p

et

p p-->q
_______
q q-->r
_____________
r
____
p-->r
____
(p-->q)-->(p-->r)
_____________
( q-->r)-->(p-->q)-->(p-->r)

J'espère que cela répond à vos interrogations.
Et bon courage.
Documents attachés :    aucun document joint.

Matières disponibles

sciences
 . chimie
 . mathématiques
 . physique
 . biologie
langues vivantes
 . anglais
 . espagnol
 . allemand
 . italien

lettres
 . français
 . lettres 
sciences humaines
 . philosophie
 . histoire
 . SES-éco
 . droit
 . culture générale
 . géographie

Niveaux scolaires

 . Collège
 . Lycée
 . Fac (DEUG)
 . Classes préparatoires - CPGE
 . BTS
 . DUT
 . Fac (> DEUG)
 . Ecoles (> BAC+2)

parents d'élèves :  nos conseils

Qu'est-ce que Cyberprofs.com ?

Derniers devoirs traités

 . En quoi la pensée sans la méthode réduit-elle nos chances de découvrir la vérité?
 . L'expression demeurer soi même correspond elle à la réalité ?
 . Correction d'un commentaire de texte du livre "le père goriot"
 . Dissert 2
 . Dissert 1
 . Traduction italien au francais
 . Traduction italien au francais
 . Dm anglais
 . Tout ce qui arrive dans le monde est-il prévisible?
 . Le réel échappe-t-il à la raison?
 . Correction devoir d'anglais
 . Correction devoir anglais
 . Corriger devoir anglais
 . Exo physique
 . Liberté et déterminisme
 . Concerne "croisement de deux oeuvres"
 . Prier de corrige mon article
 . Urgent dm a corriger scratch
 . Merci de corriger ce dm qui est à rendre lundi prochain
 . Myths and heros
 . Idea de progreso
 . Spaces and exchanges
 . Lieux et formes de pouvoir
 . Idée de progrès
 . Mythes et héros
 . Avenir d'une illusion
 . Correction
 . Avenir d'une illusion
 . Analyse linéaire
 . Correction de texte