UNIERSIDAD NACIONAL AUTONOMA DE HONDURAS
(UNAH)
Facultad de humanidades y artes – escuela de filosofía
Asignatura
FF201- lógica matemática
Catedrático
Etnan Genaro Miranda
Presentado por
Brayan Antonio Lara
Número de cuenta
20161004390
Sección
0900
Acumulativo ¨A¨
Tegucigalpa MDC sábado 7 de julio del 2018
Parte 1. Traducción formal.
Instrucciones: Traduzca a lenguaje formal los siguientes argumentos; simbolizando don las
letras sugeridas, o las de su preferencia, cada enunciado simple.
1. Si o E.U.A. se une a la guerra o China se une a la guerra entonces, o Rusia se involucra
en la guerra o Francia se involucra en la guerra. Ni Rusia ni Francia se involucran en la
guerra. Por tanto, No es cierto que, E.U.A. se une a la guerra o China se une a la guerra.
(E,C,R,F)
Solución
E= E.U.A se una a la guerra.
C = China se une a la guerra
R = Rusia se involucra a la guerra.
F = Francia se involucra en la guerra.
(E v C) Ↄ (R v F)
¬R ∧¬F
∴ ¬(E v C)
2. Si entra a la campaña primaria entonces si hace una compañía vigorosa entonces es
nominado. Si gana la nominación y recibe el apoyo del partido entonces será elegido.
Si toma en serio la plataforma del partido entonces recibirá el apoyo del partido, pero
no será elegido. Por tanto, si participa en la campaña primaria entonces si hace una
campaña vigorosa entonces no toma en serio la plataforma del partido. (C,V,N,A,E,P)
Solución
C = campaña primaria.
V = campaña vigorosa.
N = es nominado.
A = apoyo del partido.
E = elegido.
P = plataforma del partido.
(C Ↄ V) Ↄ N (N ∧ A) Ↄ E
(P Ↄ A) ∧ ¬E
∴ (C Ↄ V) Ↄ ¬P
3. O hace reparar su automóvil o compra uno nuevo. Si hace repara su automóvil deberá
mucho dinero al taller de reparaciones. Si debe mucho dinero al taller entonces tardará
salir de deudas. Si compra un auto nuevo entonces deberá pedir un préstamo al banco,
pero si pide un préstamo al banco tardará en salir de deudas. O es falso que tardará en
salir de deudas o sus acreedores lo llevaran a la ruina. Por tanto, sus acreedores lo
llevará a la ruina. (R, N, T, D, B, A).
Solución
R: Reparar su automóvil
N: Compra uno nuevo
T: De verle al Taller de reparaciones
D: salir de deudas
B: préstamo al banco
A: Acreedores lo llevaran a la ruina
(R ∧ N) ∧ (R Ↄ T) ∧ (T Ↄ D) ∧ (N Ↄ B) v (B Ↄ D)
¬ (D v A)
∴A
PARYE 2. Traducción y validez lógica
Instrucciones: use tablas de verdad para determinar validez o invalidez de cada uno de los
siguientes argumentos. Traduciéndolos a lenguaje formal los lenguajes dados en lenguaje
natural
1. Si Alicia es elegida presidenta del grupo Bety es elegida vicepresidenta del grupo y
Carolina es elegida tesorera. Bety no es elegida vicepresidenta. Por tanto Alicia no es
elegida presidenta del grupo
Solución
Alicia es elegida presidenta = p
Bety es elegida vicepresidenta = q
Carolina es elegida tesorera = r
P Ↄ (q ∧ r)
¬q 23 = 8
∴ ¬q
P q r P Ↄ (q ∧ r) ¬q ∴ ¬q
1 1 1 1 Ↄ 1 1 0 0
1 1 0 1 Ↄ 0 0 0 0
1 0 1 1 Ↄ 0 0 1 0
1 0 0 1 Ↄ 0 0 1 0
0 1 1 1 Ↄ 1 1 0 1
0 1 0 1 Ↄ 0 0 0 1
0 0 1 1 Ↄ 0 0 1 1
0 0 0 1 Ↄ 0 0 1 1
R//: Argumento valido
2. Si Jorge es contratado por la empresa entonces Ana será reubicada de puesto.
Ana será reubicada de puesto. Por tanto, Jorge es contratado por la empresa
Solución
PↃq
q 22 =4
∴p
Jorge es contratado por la empresa = p
Ana será reubicada de puesto = q
P q PↃq q ∴p
1 1 1 1 1
1 0 0 0 1
0 1 1 1 0
0 0 1 0 0
R//: Argumento valido
3. P Ↄ (q Ↄ r)
PↃq
∴pↃr
Solución
23 = 8
P q r P Ↄ (q Ↄ r) PↃq ∴pↃr
1 1 0 1 Ↄ 1 1 1 1
1 1 0 1 Ↄ 0 0 1 o
1 0 1 1 Ↄ 1 1 0 1
1 0 0 1 Ↄ 0 0 0 0
0 1 1 0 Ↄ 1 1 1 1
0 1 0 0 Ↄ 1 1 1 1
0 0 1 0 Ↄ 1 1 1 1
0 0 0 0 Ↄ 1 1 1 1
R//: argumento valido
4. p Ↄ (q v r)
p Ↄ ¬q
∴pvr
Solución
23 = 8
P q r P Ↄ (q v r) p Ↄ ¬q ∴p v r
1 1 1 1 Ↄ 0 0 1 Ↄ 0 0 0
1 1 0 1 Ↄ 1 1 1 Ↄ 0 0 1
1 0 1 1 Ↄ 1 1 1 Ↄ 1 1 0
1 0 0 1 Ↄ 0 0 1 Ↄ 1 1 1
0 1 1 0 Ↄ 0 1 0 Ↄ 0 1 1
0 1 0 0 Ↄ 1 1 0 Ↄ 0 1 0
0 0 1 0 Ↄ 1 1 0 Ↄ 1 1 1
0 0 0 0 Ↄ 0 1 0 Ↄ 1 1 1
R//: argumento invalido por fila 3 y 6
