Oración 1: seguidamente, otra de las propiedades semánticas que queremos conservar siempre en Lukasiewicz es tener como tautoloǵıa ϕ → ϕ para cualquier fórmula ϕ
Oración 2: verdad ya que para toda valoración V se tiene que V (ϕ→ ϕ) = min(1, 1− V (ϕ) + V (ϕ)) = min(1, 1) = 1
Conector: esto es
Relación: entailment
Género: theses