non c'est pas ça là tu es entrain de prouver l'implication tel que et ....et moi je cherche juste comment prouver la véracité de cette proposition à part le tableau de vérité....j'espère avoir compris ce que tu voulais dire.[A=>(B=>C)]=>[B=>(A=>C)]
utilises le fait que (A implique B) équivaut à ((non A) ou B).
Je parle déquivalence semantique (même table de vérité).
Je supposes que ce que tu appelles loi logique signifie totaulogie.
posté par Quidam
A entraîne que "B entraîne C", peut se dire (A et B) entraîne C non ?
B entraîne que "A entraîne C", peut se dire (B et A) entraîne C non ?
Les deux affirmations sont équivalentes.
posté par chimomo
Je supposes que ce que tu appelles loi logique signifie totaulogie.
Utilisateurs parcourant ce forum : Aucun utilisateur enregistré et 105 invités
Tu pars déja ?
Identification
Pas encore inscrit ?
Ou identifiez-vous :