Calcul propositionnel formel

[SawcenMS]

demain g un examen de logique maths et je parvien pas a comprendre le CPF, et g pas pu résoudre cet exercice: Soient les deux formules f1 et f2 suivantes :
f1 ;) (A ;) (A ;) B)) ;) (A ;) B)
f2 ;) ((A ;) B) ;) C) ;) (B ;) C)
1) Montrer, à l’aide du théorème de déduction, que f1 et f2 sont des théorèmes.
2) Montrer, maintenant, que f1 et f2 sont des théorèmes ; et cela sans utiliser d’hypothèses




je veux comprendre le pricipe de CPF, comment on choisit les formules et les théoremes qu'on utilise pour résoudre des exercices pareils?

[Oanh]

demain g un examen de logique maths et je parvien pas a comprendre le CPF, et g pas pu résoudre cet exercice: Soient les deux formules f1 et f2 suivantes :
f1 (A (A B)) (A B)
f2 ((A B) C) (B C)
1) Montrer, à l’aide du théorème de déduction, que f1 et f2 sont des théorèmes.
2) Montrer, maintenant, que f1 et f2 sont des théorèmes ; et cela sans utiliser d’hypothèses




je veux comprendre le pricipe de CPF, comment on choisit les formules et les théoremes qu'on utilise pour résoudre des exercices pareils?

Cf. la logique et le théorème de déduction dans ton cours. Tes exercices corrigés viennent du Maroc.