Académique Documents
Professionnel Documents
Culture Documents
Logique
TD8 : Calcul des séquents
Exercice 1
1. Donner une preuve dans LK de :
A ⇒ B, A ⇒ C ` A ⇒ (B ∧ C)
A ⇒ B, A ⇒ C, (B ∧ C) ⇒ D ` A ⇒ D
3. Donner une autre preuve du séquent précédent n'utilisant pas la règle de coupure.