Lógica de Predicados Tableaux semânticos. Sistema de Tableaux Semânticos Alfabeto da Lógica de Predicados Conjunto de fórmulas da Lógica de Predicados.
