Teórico de Completitud - Lógica de Primer Orden

Dado que dimos la definicion de completo en PROP pero no la explicitamos en PRED queria saber si en PRED ser completo es que cierto gama derive toda formula o su negacion, o si se consideran solo las sentencias