Oración 1: para la implicación de Lukasiewicz, le daremos como semántica a la afirma- ción P →L Q que “Q es por lo menos tan verdadero como P”, es decir, buscaremos no perder valor de verdad desde la causa a la consecuencia (esto pensando que la verdad se podŕıa ordenar de forma T > N > F)
Oración 2: tiene sentido afirmar que P →L P sea válido sin importar el valor de P, ya que P siempre tendrá el mismo valor de verdad que P
Conector: por tanto,
Relación: reasoning
Género: theses