Vista do Laamb et Ladja

Comme tous les formules atomiques présentes à la fois dans la formule φ et dans b sont réfutées par v et que la fausseté d’une prémisse entraîne la fausseté du séquent