UNIVERSIDAD DE EL SALVADOR

FACULTAD DE INGENIERÍA Y ARQUITECTURA

ESCUELA DE INGENIERÍA INDUSTRIAL
LOGICA Y ALGORITMOS CICLO I 2020

EVALUACIÓN: Laboratorio 1.

PROFESOR: Ing.

ALUMNO:
: 4Jonatha.

GRUPO
.

CARNET

Ciudad Universitaria, 23 de marzo de 2020

Contenido

INTRODUCCION .................................................................................................... 3

OBJETIVOS ............................................................................................................ 4

DESARROLLO ....................................................................................................... 5

CONCLUSION ...................................................................................................... 11

RECOMENDACIONES ......................................................................................... 12
 INTRODUCCION

El siguiente documento consta de la solución de problemas de lógica proposicional,

en el cual se toma desde unos enunciados conocidos como premisas que
lógicamente varían al actualizarse, estas premisas es parte de un lenguaje lógico
formal en donde cambian a operadores; la lógica proposicional puede tomar
inferencias lógicas donde los métodos de tabulación de datos o simplificaciones
demuestran si el resultado depende de sus entradas o no.

También cabe destacar que la lógica es fundamental para el desarrollo de la mente

del ser humano, para tomar decisiones o bien conocer una serie de procedimientos
donde los operadores lógicos toman valores de verdadero y falso.
 OBJETIVOS
Objetivo General

• Resolver los ejercicios propuestos con el fin de demostrar la aplicación del

lenguaje lógico.

Objetivos específicos

• Por medio de las inferencias lógicas tener la capacidad de formalizar la

inferencia.

• Por medio de las ecuaciones con el lenguaje simbólico, solucionar y clasificar

la inferencia.

• Aplicar las leyes del lenguaje de lógica de proposiciones para resolver por
simplificación el ejercicio propuesto.
 DESARROLLO

Los ejercicios que abarcará este documento son Parte A.1:2 , A.2: 4, y la parte B:
1.

Parte A: Para las inferencias lógicas que a continuación se pide lo siguiente:

A.1.

P1: O me gradúo en cinco años o me cambio de universidad

P2: Si apruebo todas las asignaturas en primera matricula entonces me graduaré

en cinco años.

P3: Si no apruebo todas las asignaturas me cambio de universidad

Luego, me cambio de universidad

P1: O me gradúo en cinco años o me cambio de universidad

Me gradúo en cinco años este es p

Me cambio de universidad este es q
La inferencia lógica viene en la estructura o…o…, que corresponde al operador
lógico de disyunción exclusiva su símbolo es ⊕.

Por lo tanto, el cambio de lenguaje es:

P1: p⊕q

P2: Si apruebo todas las asignaturas en primera matricula entonces me graduaré

en cinco años.

Apruebo todas las asignaturas en primera matricula este es r

Me graduare en cinco años este es q
La inferencia lógica viene en la estructura si…entonces... que corresponde al
operador lógico de condicional (implicación) su símbolo es →.

Por lo tanto, el cambio de lenguaje es:

P2: r → q

P3: Si no apruebo todas las asignaturas me cambio de universidad

No apruebo todas las asignaturas en primera matricula, esta es una negación de r
entonces es ¬r
Me cambio de universidad este es q
La inferencia lógica viene en la estructura si…entonces…aunque entonces no se
muestra explícitamente, se entiende que al colocarlo no afecta en la oración por lo
tanto corresponde al operador lógico de condicional (implicación) su símbolo es
→.

Por lo tanto, el cambio de lenguaje es:

P3: ¬r → q

Luego, me cambio de universidad

Esto indica que las tres primeras premisas hacen una condicional a me cambio de
universidad que es q y luego hace referencia una implicación lógica por lo tanto se
deduce que:

(P1^P2^P3)→q

Entonces cambiando los valores de P:

[ (p⊕q) ^ (r →q) ^ (¬r →q) ] →q

Ahora se determina cuantas filas serán:

Son 4 variables.
23 = 8 𝑓𝑖𝑙𝑎𝑠

Evaluando su tabla de verdad

P q r p⊕q ∧ r→ q ∧ ¬r→ q → q
V V V F F V V V V V
V V F F F V V V V V
V F V V F F F V F F
V F F V V V F F F F
F V V V V V V V V V
F V F V V V V V V V
F F V F F F F V F F
F F F F F V F F F F

La tabla de verdad indica que es contingencia ya que depende de las entradas si

es falso o verdadero.
A.2.

4. Construir la tabla de verdad de la siguiente proposición y determine qué tipo de

tabla es y ¿Por qué?

[(p → (q v r)) ↔ (¬s → r) ↔ (s → ¬q)]→(p v q)

Primero se determina cuantas filas serán:

Son 4 variables.
24 = 16 𝑓𝑖𝑙𝑎𝑠

Tabla
p q r s → qvr ↔ ¬s→ r ↔ s→¬q → pvq
V V V V V V V V F F V V
V V V F V V V V V V V V
V V F V V V V V F F V V
V V F F V V F F F V V V
V F V V V V V V V V V V
V F V F V V V V V V V V
V F F V F F F V F V V V
V F F F F F V F V V V V
F V V V V V V V F F V V
F V V F V V V V V V V V
F V F V V V V V F F V V
F V F F V V F F F V V V
F F V V V V V V V V F F
F F V F V V V V V V F F
F F F V V F V V V V F F
F F F F V F F F F V V F

El tipo de tabla es de contingencia ya que depende del tipo de entradas si es falso

o verdadero.
Parte B. Ejercicios propuestos para simplificar

B.2

{[(¬p˄¬q) →¬r] ˄ (¬p˄¬q) } → ¬r

Para la simplificación se utilizará las equivalencias de lógica proporcionales.

Por medio de ley de Morgan las negaciones se pueden incluir en conjunto.

¬(𝑷 ∨ 𝑸) ≡ ¬𝑷 ∧ ¬ Q

Entonces:

{[(¬p˄¬q) →¬r] ˄ (¬p˄¬q) } →¬r ≡ {[¬(p∨q) →¬r] ˄ ¬(p∨q) } →¬r

Por medio de leyes de condicionales se puede reescribir un conjunto con

condicional (implicación).

(𝑷 → 𝑸) ≡ (¬𝑷 ∨ 𝑸)

Siendo:

P: ¬(p∨q)
Q: ¬r

Únicamente del primer tramo, es decir:

¬(p∨q) →¬r ≡ ¬¬(p∨q) ∨ ¬r

A la vez como se encuentra en doble negación se puede aplicar la ley

complementaria.
¬¬𝑷 ≡ 𝑷

Donde P : (p∨q)

Siendo ahora:

¬¬(p∨q) ≡ (p∨q)

Ahora la ecuación nos queda:

{[¬(p∨q) →¬r] ˄ ¬(p∨q) } →¬r ≡ {[(p∨q) ∨ ¬r] ˄ ¬ (p∨q) } →¬r

Como tenemos 2 elementos en común, se utilizara la ley distributiva:

𝑷 ∧ (𝑸 ∨ 𝑹) ≡ (𝑷 ∧ 𝑹) ∨ (𝑷 ∧ Q)

Siendo:

P: ¬ (p∨q)
Q: (p∨q)
R: ¬r

{[(p∨q) ∨ ¬r] ˄ ¬ (p∨q) } →¬r ≡ { [¬(p∨q) ˄ ¬r] ∨ [(p∨q) ˄ ¬ (p∨q)] } →¬r

Se puede observar que p^q tiene su negado, para ello hay una ley complementaria
que indica que es falso, por lo tanto:

(𝑷 ∧ ¬𝑷) ≡ F

Siendo P: (p∨q)

Quedando la nueva ecuación a:

{ [¬(p∨q) ˄ ¬r] ∨ [(p∨q) ˄ ¬ (p∨q)] } →¬r ≡ { [¬(p∨q) ˄ ¬r] ∨ F (falso)] } →¬r

Debido a que se encuentra una conjunción, indica que si todas las proposiciones
serán falsas entonces dará una salida en falso, de lo contrario dará verdadero. En
esto dependerá únicamente de { [¬(p v q) ˄ ¬r] para que sea verdadero o falso, por
lo tanto se simplifica a esta entrada:

{ [¬(p∨q) ˄ ¬r] ∨ F (falso)] } →¬r ≡ [¬(p˄q) ˄ ¬r] →¬r

Por ley de morgan se puede simplificar

¬(p∨q) ˄ ¬r ≡ ¬ ((p∨q) ∨ r)

Teniendo la nueva ecuación a:

[¬(p˄q) ˄ ¬r] →¬r ≡ ¬ ((p∨q) ∨ r) →¬r

Aplicando nuevamente ley de Morgan:

¬ ((p∨q) ∨ r) →¬r ≡ ((p∨q) ∨ r) ∨ ¬r

Siendo todas disyunción inclusiva y por ley distributiva queda que:

((p∨q) ∨ r) ∨ ¬r ≡( p∨q ) ∨ (r ∨ ¬r)

Por ley de identidad y por la tabla de verdad de una disyunción inclusiva se
encuentra que r y ¬r darán verdadero independientemente la entrada de esta. Por
lo tanto:

( p ∨q ) ∨ (r ∨ ¬r) ≡( p∨q ) ∨ V(verdadero)

Siendo también la tabla de verdad de la disyunción si una de sus entradas da

verdadero entonces independientemente de las demás entradas será verdadero.

( p∨q ) ∨V≡V

Ya que dio verdadero, indica que es una tautología pues independientemente de las
entradas dará siempre verdadero.
 CONCLUSION

Estos ejercicios nos demuestran el uso de un lenguaje lógico y como se puede

formalizar las inferencias lógicas para determinar si se cumple o no, determina
también si el razonamiento de la inferencia es lógico, esto puede llevarse a la vida
cotidiana en la evaluación de una situación que requiera que se cumpla varias
entradas y puedan determinarse si es un razonamiento lógico o que por su
clasificación pueda ser verdadero en caso de una tautología, que dependa de sus
entradas siendo una contingencia y si en caso fuera falsa una contradicción.
 RECOMENDACIONES

• El ordenamiento de las entradas y operadores en la tabla de verdad debe ser

mas factible para evitar confusiones al momento de usar sus salidas para los
siguientes operadores.

• Para la simplificación se recomienda el uso del algebra de boole como un

inicio a los valores lógicos falso y verdadero para posteriormente sea mas
factible el uso de los operadores lógicos de la lógica proposicional.
 REFERENCIAS

https://crossexamined.org/logica-03-logica-proposicional-y-las-leyes-de-la-logica/

https://es.wikiversity.org/wiki/L%C3%B3gica_proposicional/Tablas_de_verdad

https://www.ecured.cu/Tablas_de_la_verdad