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