Oración 1: la mayoŕıa de las demostraciones de teoremas de L3A están en [Ber08], por lo que únicamente demostraremos los necesarios para deducir ϕ→ ϕ
Oración 2: e demostraremos que existen deducciones para: Deducción 1
Conector: especificamente
Relación: entailment
Género: theses