Busca un procedimiento decisorio para fórmulas monádicas de primer grado de fácil aplicación, por lo menos en el nivel de expresiones de módica pero no desdeñable complejidad, y de tal naturaleza que aparezca como inevitable ...