satisfacibilidad
semántica
silogismo disyuntivo
sintaxis (adj.= sintáctico)
sistema decidible
sistema formal
syss