Hola
Filosofíalógica, bienvenido al foro!!
Recuerda leer y seguir las
reglas del mismo así como el
tutorial del \( \mathrm\LaTeX \) para escribir las fórmulas matemáticas correctamente.
Por otro lado,
¿qué intentaste? Es importante que nos digas qué hiciste y qué dudas concretas tienes así podemos ayudarte mejor.
Básicamente me piden que demuestre:
1) Si A implica C y C es equivalente a C', entonces A implica C'.
2) Si A implica C y A es equivalente a A', entonces A' implica C.
3) Si A y B implican C, y A es equivalente a A', entonces A' y B implican C.
Comprendo ambas nociones, pero no termino de ver la relación que guardan entre ellas y sus correspondientes valores de verdad.
Puedes buscar en Internet acerca de
reglas de inferencia, ya que todos hacen referencia a razonamientos.
La idea es usar el Silogismo Hipotético para los 3 casos. Es un tipo de razonamiento más pequeño que ya se sabe que es válido, y sirve para demostrar la validez de razonamientos más complejos.
El Silogismo Hipotético establece: \( A\implies B \) y \( B\implies C \) por lo tanto \( A\implies C \).
Con esto creo que puedes resolver los ejercicios. Si tienes alguna duda, pregunta.
Saludos
