Oración 1: por lo que en este escenario V ′ ni satisface ni insatisface (∀y)((Tx ∧ Eyx)→ Ty) Ninguna valoración V ′ x-variante insatisface (∀y)((Tx ∧ Eyx)→ Ty) Si existiera una valoración V ′ x-variante que insatisface (∀y)((Tx ∧ Eyx) → Ty), significaŕıa que existe una valoración V ′′ y- variante de V ′ tal que Tx y Eyx son satisfacibles por V ′′ y Ty es insa- tisfacible por V ′′
Oración 2: dada una fórmula ϕ, basta con ver todas las finitas combinaciones de valoraciones en la lógica para determinar si ϕ es una tautoloǵıa o no (es decir, basta con producir la tabla de verdad)
Relación: neutral
Género: theses