UNIVERSIDAD DE EL SALVADOR

FACULTAD DE INGENIERÍA Y
ARQUITECTURA

ESCUELA DE INGENIERÍA INDUSTRIAL

DEPARTAMENTO DE MÉTODOS Y PROCESOS
LYA115 CICLO-01 2019

Guía de Laboratorio/Discusión 1
Gl-06
Burgos López, Javier Eliseo
Carne: Bl18016
Tutor: ING. Barrera

Cuidad Universitaria: 23 De Marzo De 2019

Guía de Laboratorio/Discusión 1

UNIDAD 1

Sus respuestas o planteamientos pueden no ser exactamente iguales a la solución aquí

presentada, lo cual no significa que esté mal. Las respuestas deben coincidir en aspectos
esenciales. Si tiene dudas de sus resultados, consulte al docente.

1. ¿Por qué se caracteriza la lógica matemática?

Se trata de métodos de razonamiento. En un nivel elemental, la lógica proporciona reglas y

técnicas para determinar si es o no valido un argumento dado. El razonamiento lógico se emplea
en matemáticas para demostrar teoremas; en ciencias de la computación para verificar si son o no
correctos los programas; en las ciencias física y naturales, para sacar conclusiones de
experimentos; y en las ciencias sociales y en la vida cotidiana, para resolver una multitud de
problemas.

2. ¿Cuál es el objeto de interés de la lógica formal?

solamente se ocupa de razonamiento como productos o resultados

3. Teniendo los siguientes juicios:

(1) Si aprueba entonces se va de vacaciones y aprueba. Luego, se va de vacaciones

(2) Si gana la elección entonces preside la reunión y gana la elección. Luego, preside la reunión.

Se solicita formalizar estas inferencias.

Teniendo los siguientes juicios:

(1)

Si aprueba entonces se va de vacaciones p → q

y aprueba. ^p

Luego, se va de vacaciones →q

(2)

Si gana la elección entonces preside la reunión

y gana la elección.

Luego, preside la reunión.

Se solicita formalizar estas inferencias

Planteamiento:

1. Sea P= Aprueba

Sea Q= se va de vacaciones
 [(p → q)^p] →q

------ = p ------- = q

2. Sea p= gana la elección

Sea q= preside la reunión

[(p→q)^q] →q

4. ¿Por qué la lógica de proposiciones es conocida también como lógica de las proposiciones sin
analizar?

Porque es un calculo hipotético, sin antes haberse analizado.

5. ¿Qué es una proposición?

La proposición es la expresión lingüística del razonamiento, que se caracteriza por ser verdadera o
falsa empíricamente, sin ambigüedades. Son proposiciones las oraciones aseverativas, las leyes
científicas, las fórmulas matemáticas, las fórmulas y/o esquemas lógicos, los enunciados cerrados
o claramente definidos.

6. Toda proposición condicional consta de dos elementos, antecedente y consecuente. Para las
proposiciones enunciadas a continuación se solicita que identifique el antecedente y el
consecuente.

a) Si aprueba entonces se va de vacaciones

antecedente: es si aprueba.

consecuente: entonces se va de vacaciones.

b) Si gana la elección entonces preside la reunión

antecedente: si gana la elección.

consecuente: entonces preside la reunión.

7. ¿Cuáles son las propiedades de la equivalencia lógica?

Pensar y razonamiento

8. Defina cuando una formula proposicional es:

a. Tautología. R// independiente de los valores que tome cada una de las proposiciones el
resultado siempre será verdadero

b. Contradicción. R// independiente de los valores que tome cada una de las proposiciones el
resultado siempre será falso
c. Contingencia. R// no son necesariamente verdaderas ni necesariamente falsas, sino que su
verdad o falsedad dependen del significado de cada una las proposiciones involucradas y por lo
tanto esto es contingente.

9. Para las formulas proposicionales que se detalla a continuación construya su tabla de verdad
y diga conforme al resultado si es una tautología, contradicción o contingencia: a) (p↔q) ˄ (p ˅¬
p) b) (p↔q) ˅ (¬p ˅¬ q)

a) (p↔q) ˄ (p ˅¬ p)
p q ¬p p↔q p ˅¬ p (p↔q) ˄ (p ˅¬ p)
v v f v v V
v f f f v F
f v V f v F
f f v v v v

R// v,f,f,v, contingencia, porque existe tanto verdaderos como falta independientemente de las de
su resultado dependerá de las mismas.

b) (p↔q) ˅ (¬p ˅¬ q)

p q
v v
v f
f v
f f
¬p (p↔q) ˅ ¬p ˅¬ q
f v v f
f f v v
v f v v
v v v v

R// tautología

10. Para la siguiente inferencia lógica: p1: Si bailo bien entonces no gano el concurso p2: No
ganaré el concurso porque tengo pocos votos p3: No bailé bien q: Gané el concurso

a) Llevarla al lenguaje simbólico b) Evaluarla para constatar su validez, construyendo su tabla de

verdad.

p1: Si bailo bien entonces no gano el concurso

p2: No ganaré el concurso porque tengo pocos votos

p3: No bailé bien

 q: Gané el concurso

a) Llevarla al lenguaje simbólico.

1) p→ ¬ q
2) ¬q→ ¬ r
3) ¬ p
[(p→ ¬ q )˄(¬q→ ¬ r) ˄¬ p ]→q

b) Evaluarla para constatar su validez, construyendo su tabla de verdad.

p q r ¬q p→ ¬ q ˄ ¬q→ ¬ r ˄ ¬p → q
V V V F F F V F F v V
V V F F F F V F F V v
V F V V V V V F F V F
V F F V V F F F F V F
F V V F V V V V V V V
F V F F V V V V V V V
F F V V V V V V V F F
F F F V v F F F v V F

R// v,v,v,v,v,v,,f,v contingencia porque existen valores verdaderos, verdad y falsos