Documenti di Didattica
Documenti di Professioni
Documenti di Cultura
Recordemos la Equivalencias:
→ C) ↔ ¬ A ∨ C
E1: (A→ Condicional como disyunción
∨ C) ↔ ¬A ∧¬C
E3: ¬( A∨ Negación (de una Disyunción) como conjunción
∧C) ↔ ¬A ∨ ¬C
E4: ¬( A∧ Negación (de una Conjunción) como Disyunción
como Disyunción
Ejemplo 1
→P, a partir de las premisas:
Hallar la siguiente conclusión: Q→
P1: P∨ ∨Q→ →P
P2: Q ∨ P
Solución:
∨Q) ∨ P Sustitución (equivalencia 1) del condicional en 1.
3. ¬ ( P∨
4. (¬P ∧¬ Q) ∨ P Sustitución (Equivalencia 3) en 3.
5. ¬ Q ∨ P Ley simplificación en 4.
6. Q→ →P Sustitución del condicional en 5.
En este último paso, alcanzamos la conclusión: Q→ →P, luego el argumento es
válido.
Ejemplo 2
→ ¬Q, a partir de las premisas:
Demostrar la siguiente conclusión R→
∧S)
P1: ¬(R∧
P2: Q → S
Solución:
3. ¬R ∨ ¬ S Equivalencia 4 aplicada en 1.
4. R→ → ¬ S Sustitución (equivalencia 1) del condicional en 3.
5. ¬ S→ →¬Q Equivalencia 6 de condicional en 2
6. R→ →¬Q Ley de transitividad entre 4 y 5.
En este último paso, alcanzamos la conclusión: R→ → ¬Q, luego el Argumento es
válido.
Ejemplo 3
Traducir al lenguaje formal y demostrar por el método de validez formal el
siguiente razonamiento:
→S
1. ¬ P→
→¬R
2. ¬ P→
3. R
C: P
Solución:
Intentamos demostrar la conclusión: P, a partir de las tres premisas:
Ejemplo 4
→R, a partir de las premisas:
Demostrar la siguiente conclusión: ¬ P→
1. P ∨ ¬ S
→S
2. ¬ R→
Solución:
→¬S Sustitución (equivalencia 1) en 1.
3. ¬ P→
→R sustitución (Equivalencia 6) en 2.
4. ¬ S→
→R Ley de transitividad en 3 y 4.
5. ¬ P→
Solución:
Sean:
∧Q)
P1: No es verdad que: estudias y trabajas: ¬ (P∧
→Q
P2: Si quieres conseguir dinero entonces trabajas: R→
Luego,
C: Si estudias entonces no consigues dinero: P→ →¬R
∧Q)
P1: ¬ (P∧
P2: R→→Q
→¬R
C: P→
P3: ¬P ∨ ¬ Q Equivalencia 4 en 1.
→¬Q Sustitución (equivalencia 1) del condicional en 3.
P4: P→
P5: ¬Q→ →¬R Equivalencia 6 aplicada en 2.
→¬R Ley de la transitividad en 4 y 5.
P6: P→
→¬R, luego el razonamiento
En este último paso, alcanzamos la conclusión: P→
es válido.
Ejemplo 6
Traducir al lenguaje formal y probar la validez del siguiente razonamiento:
Simbolización
P1: O me traes a casa, o no voy a la fiesta: P ∨ ¬Q
P2: Si no llueve, entonces voy a la fiesta: ¬R→→Q
Luego,
C: Si no me traes a casa, llueve: ¬P→ →R
P1: P ∨ ¬Q
P2: ¬R→→Q
→R
C: ¬P→
Solución:
Ejercicios
a) c)
P1: ¬P∨∨¬T → S P1: ¬P∨∨¬T → S∨
∨R
∧T)
P2: ¬(P∧ P2: ¬S ∧¬R
C: C:
b) d)
∨T → S∨
P1: ¬P∨ ∨R P1: T
P2: P→→T P2: T→→ ¬Q
C: P3:¬Q→→ ¬S
C:
e) f) Demostrar : ¬S ∧Q
P1: ¬T P1: ¬S→→Q
P2: P→→T ∧R)
P2 : ¬(T∧
P3:¬P→→ ¬S → T∧
P3: S→ ∧R
C: C:
b)
P1: Ningún ánade baila el vals.
P2: Ningún oficial declina nunca una invitación a bailar el vals.
P3: Todas mis aves de corral son ánades.
Por lo tanto:
C: Mis aves de corral no son oficiales.
c)
P1: Lancelot ama a la Reina Ginebra.
P2: Lancelot no ama a ninguno de sus amigos.
P3: El Rey Arturo es amigo de Lancelot.
P4: Los amigos de Lancelot odian a aquello a quienes Lancelot ama.
Por lo tanto
C: El Rey Arturo odia a la Reina Ginebra.
d)
P1: Si el reloj está adelantado, entonces Juan llegó antes de las diez y vio
partir el carro de Andrés.
P2: Si Andrés dice la verdad, entonces Juan no vio partir el carro de Andrés
P3: O Andrés dice la verdad, o estaba en el edificio en el momento del crimen.
P4: El reloj está adelantado.
Por lo tanto,
C: Andrés estaba en el edificio en el momento del crimen.
e)
P1: Nadie confía en las personas que nunca pagan sus deudas.
P2: Todo el mundo cuenta con la confianza de sus familiares.
Por lo tanto,
C: cualquiera que tenga familia paga alguna de sus deudas.
f)
P1: Si Juan es más alto que Pedro, entonces María es más baja que Juana.
P2: María no es más baja que Juana.
P3: Si Juan y Luís tiene la misma estatura, entonces Juan es más alto que
Pedro.
Por lo tanto,
C: Juan y Luís no tienen la misma estatura.
b) Pedro es maestro.
Todos los maestros son sabios y generosos.
Por lo tanto,
Alguien es generoso.