Oración 1: los cuales son tautoloǵıas de la lógica clásica
Oración 2: es fácil ver que cualquier teore- ma que se demuestre con lógica clásica usando únicamente LC,1
Conector: por lo tanto,
Relación: reasoning
Género: theses