Hola:

T1: Verdadera. En efecto, como apunta Black el antecedente de ese condicional es una contradicción, y una contradición implica cualquier fórmula.

T2: Falsa. Una rama abierta es un único contraejemplo. Cada rama abierta es un contraejemplo.

T3: Pues depende. Todos los condicionales con consecuente contradictorio son tautologías. Y 'todos' incluye 'algunos' matemáticamente hablando. Pero 'todos' no es lo mismo que 'algunos' en el diccionario. En lógica proposicional se trataría de dos enunciados diferentes, formalizando:
p: todos los condicionales con consecuente contradictorio son tautologías
q: algunos los condicionales con consecuente contradictorio son tautologías

Así, que me inclinaría por la falsedad, creo.

T4: Verdadero.

T5:Falsa. El antecedente de un condicional es verdadero o falso independientemente del consecuente.

Así lo veo yo, pero voy a buscar ese examen del 2014 y espero no deprimirme.

Un saludo y suerte con esto (que para mí está siendo un reto --> suplicio). El antecedente es verdadero sea el consecuente placer o suplicio. No depende.

Edito: T4 es verdadera.

Zolaris, la justificación que da para el verdadero es: El caso descrito en la afirmación pregunta T1. Un condicional con antecedente contradictorio y consecuente contradictorio es una implicación, una fórmula tautológica. Se puede mostrar un caso con una tabla de verdad.

Está un poquillo para despistar, sí.
ánimo que nos queda poco!!!!

ojo Zolaris, la T4 es falsa. La ponen mucho y es para despistar, es falsa.
Un argumento inválido puede tener cualquier forma y cualquier valor de verdad, tanto en las premisas como en la conclusión. Es inválido porque su forma permite que se pueda dar el caso de que las premisas sean verdaderas y la conclusión falsa, pero no son imposibles el resto de los casos.

Black Mask escribió:
Uffff... razón llevas compañero. Muchas gracias.

Enviados a 4 compañer*s. Si alguien más lo pide os pediría a alguno que lo haya recibido si lo puede reenviar. Me desconecto!!! Buen finde!!!

Hola:

Respecto al examen de la primera semana, ¿qué hay que hacer para responder en D2)? Determine si la forma lógica de los siguientes argumentos se transforma o no en alguna forma válida de la lógica proposicional.

¿Acaso hay que formalizarlos y después hacer sus tablas de verdad?

Gracias.

Un saludo.

Mucha suerte , para l@s que os presentéis !!!

zolaris escribió: Zolaris, de los exámenes que te envié mira el 2014a, ahí tienes resuelto D1 y D2.

BORRO

PD: ME LO ENVIARON YA

Enviados