Vista do Laamb et Ladja
11
0
0
Texto
Documentos relacionados
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