Oración 1: como dijimos en el principio del caṕıtulo el único caso en donde estos operadores son naturales es cuando se trivializan
Oración 2: tenemos: Proposición 5.2.6
Conector: de hecho
Relación: entailment
Género: books