Oración 1: para construir los conectivos de las lógicas finito-variadas, se definen las tablas de verdad de cada uno de los conectivos, los cuales tienen combinaciones finitas de los finitos posibles valores de tabla de verdad
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)
Conector: por tanto,
Relación: reasoning
Género: theses