Luego, según la definición sintáctica de consistencia, el conjunto es inconsistente.