Oración 1: las lógicas finito-variadas son decidibles
Oración 2: que para toda fórmula ϕ, se tiene un algoritmo con finitos pasos para determinar si ϕ es o no una tautoloǵıa
Conector: es decir
Relación: entailment
Género: theses