Luego, de acuerdo con la definición semántica, el conjunto es inconsistente.