Hola Leandro.
Sobre lo que preguntás de la parte c, sí y no.
Sí es cierto que si tenés una propiedad de la forma "para todo x en B, P(x)" la propiedad se cumple cuando B es el conjunto vacío. A esto le llamamos que se cumple "por vacuidad" (justamente porque B es vacío, no hay ningún elemento de B para el cual no se cumpla). Esto se puede entender de la siguiente forma:
Cuando escribimos "para todo x en B, P(x)" en verdad eso es una abreviatura para "para todo x, si x pertence a B entones P(x)" (esto se llama relativización de cuantificadores). Luego como cuando B es el vacío el antecedente es falso, la implicancia es verdadera.
Lo que no es cierto es que cuando en este ejercicio R es el conjunto vacío, A sea vacío. A sigue siendo el mismo conjunto de 4 números y por lo tanto es fácil ver que por ejemplo la reflexiva es falsa ya que 1 no se relaciona con 1.
Todo lo que decís en cuanto a la propiedad asimétrica es correcto. Asimétrica implica irreflexiva (y por contrarecíproco entonces se deduce que si no es irreflexiva no es asimétrica). La caracterización que das con las matrices es correcta, se puede demostrar haciendo la cuenta con cuidado (no es largo ni difícil).
Capaz que fue sólo una forma de expresarte, pero no veo ninguna confusión de tu parte. Si sigue habiendo algo que no te quede claro o no te convenza no dudes en volver a preguntar.
Saludos,
Gabriel
Sobre lo que preguntás de la parte c, sí y no.
Sí es cierto que si tenés una propiedad de la forma "para todo x en B, P(x)" la propiedad se cumple cuando B es el conjunto vacío. A esto le llamamos que se cumple "por vacuidad" (justamente porque B es vacío, no hay ningún elemento de B para el cual no se cumpla). Esto se puede entender de la siguiente forma:
Cuando escribimos "para todo x en B, P(x)" en verdad eso es una abreviatura para "para todo x, si x pertence a B entones P(x)" (esto se llama relativización de cuantificadores). Luego como cuando B es el vacío el antecedente es falso, la implicancia es verdadera.
Lo que no es cierto es que cuando en este ejercicio R es el conjunto vacío, A sea vacío. A sigue siendo el mismo conjunto de 4 números y por lo tanto es fácil ver que por ejemplo la reflexiva es falsa ya que 1 no se relaciona con 1.
Todo lo que decís en cuanto a la propiedad asimétrica es correcto. Asimétrica implica irreflexiva (y por contrarecíproco entonces se deduce que si no es irreflexiva no es asimétrica). La caracterización que das con las matrices es correcta, se puede demostrar haciendo la cuenta con cuidado (no es largo ni difícil).
Capaz que fue sólo una forma de expresarte, pero no veo ninguna confusión de tu parte. Si sigue habiendo algo que no te quede claro o no te convenza no dudes en volver a preguntar.
Saludos,
Gabriel