Oración 1: entonces, recordemos que cuando definimos 3SAT anteriormente, se dio la idea de que ∨ se puede considerar como suma
Oración 2: lo que vamos a utilizar para construir las cláusulas como desigualdades
Conector: esto es
Relación: entailment
Género: theses