1

Ejercicio 1: Proposiciones y tablas de verdad

C. p: En las competencias ganan los mejores

q: Las olimpiadas de matemáticas es una competencia

r: Los estudiantes participan en las olimpiadas de matemáticas

s: La Unad desarrolla las Olimpiadas de matemáticas

(s ꓥ r) → (𝑞 → 𝑝)

Descripción de la proposición compuesta en lenguaje natural:

Si la Unad desarrolla olimpiadas matemáticas y los estudiantes participan en las

olimpiadas matemáticas, entonces, si las olimpiadas matemáticas es una competencia entonces

en las competencias ganan premiso.

 2

Tabla de verdad

p q r s (s ∧ r) (q → p) (s ∧ r)→(q → p)
1 v v v v v v V
2 v v v f f v V
3 v v f v f v V
4 v v f f f v V
5 v f v v v v V
6 v f v f f v V
7 v f f v f v V
8 v f f f f v V
9 f v v v v f F
10 f v v f f f V
11 f v f v f f V
12 f v f f f f V
13 f f v v v v V
14 f f v f f v V
15 f f f v f v V
16 f f f f f v V
Tabla 1 Tabla de verdad Ejercicio 1.

Conclusión tabla de verdad

La proposición compuesta (s ꓥ r) → (𝑞 → 𝑝), según la tabla de verdad es una

Contingencia ya que podemos evidenciar que hay tanto valores de verdad como valores de falso

en la columna de la proposición compuesta.

 3

Simulación en logiacunad.com

Tabla 2 Tabla de verdad simulador logicaunad.com Ejercicio 1.

En esta simulación podemos evidenciar que la tabla de verdad realizada anterior mente es

correcta, ya que los resultados son los mismos.

 4

Ejercicio 2: Identificación de las reglas de la inferencia lógica

C. Expresión simbólica

Ecuación 1 Ecuaciones de Ejercicio 3 - Literal C.

Ley de inferencia

En esta proposición compuesta encontramos 2 proposiciones simples

las cuales son “r” y “s”, esta proposición cuenta con una sola

premisa (r ∧ s), con una consecuente “s” y un conector lógico de

conjunción “y” (∧), por tal razón se puede concluir que esta

proposición representa la regla de inferencia No.6 Simplificación.

En esta proposición compuesta encontramos 4 proposiciones simples

las cuales son “p”, “q”, “r” y “s”, esta proposición cuenta con 3

premisas (p V q), (p → r), (q → s), con una consecuente (rVs) con

conectores lógicos disyunción (V) y condicional (→), por estas

razones se puede concluir que esta proposición compuesta representa

la regla de inferencia No. 8 Silogismo Disyuntivo.

 5

en esta proposición compuesta encontramos 3 proposiciones simples

las cuales son “p”, “q” y “t”, esta proposición cuneta con 3 premisas

(p V q), (p → r) y (q → s), con una consecuente “t”, con conectores

lógicos disyunción (V) y condicional (→), por estas razones se

puede concluir que esta proposición compuesta representa la regla

de inferencia No. 9 Simplificación Disyuntiva.

Declaración de proposiciones simples.

p: Soy estudiante de Ingeniería Electrónica.

q: Realizo las entregas de cada curso.

r: Aprendo de cada unidad de estudio.

s: Sobresalgo como líder en mi día a día.

t: Me graduó como Ingeniero Electrónico.

Descripción de proposiciones compuestas en lenguaje natural.

Aprendo de cada unidad de estudio y sobresalgo como líder en mi día a día.

Sobresalgo como líder en mi día a día.

 6

Soy estudiante de ingeniería electrónica o realizo las entregas de cada curso. Si soy

estudiante de ingeniería electrónica entonces aprendo de cada unidad de estudio. Si realizo las

entregas de cada curso entonces sobresalgo en mi día a día.

Aprendo de cada unidad de estudio o sobresalgo como líder en mi día a día.

Soy estudiante de ingeniería electrónica y realizo las entregas de cada

curso. Si soy estudiante de ingeniería electrónica entonces me graduó como

ingeniero electrónico. Si realizo las entregas de cada curso entonces me graduó

como ingeniero electrónico.

Me graduó como Ingeniero Electrónico.

 7

Ejercicio 3: Aplicación de las reglas de la inferencia lógica

C. Los ojos hacen más ejercicios que las piernas y los músculos de nuestros ojos se

mueven mucho más de lo que te imaginas.

a. Lenguaje simbólico:

p∧q

b. Ley de inferencia aplicada:

No. 6 Simplificación.

c. Conclusión:

p: Los ojos hacen más ejercicios que las piernas.

q: los músculos de nuestros ojos se mueven mucho más de lo que te imaginas.

 8

Ejercicio 4: Problemas de aplicación

C. Expresión simbólica: [(𝑝 ∨𝑞) ↔ (¬𝑝∧¬𝑞)]→(𝑝∧𝑞)

Premisas:

P1: (𝑝 ∨𝑞)

P2:(¬𝑝∧¬𝑞)

Conclusión: (𝑝∧𝑞)

Declaración de proposiciones simples en lenguaje natural.

p: Alejandro estudia diariamente.

q: Alejandro aprende lógica matemática.

¬𝑝: Alejandro no estudia diariamente.

¬𝑞: Alejandro no aprende lógica matemática.

Declaración de proposición compuesta en lenguaje natural.

Si Alejandro estudia diariamente y Alejandro aprende lógica matemática si y solo si

Alejandro no estudia diariamente o Alejandro no aprende lógica matemática entonces

Alejandro estudia diariamente o Alejandro aprende lógica matemática.

 9

Tabla de verdad

(p v (p ∧ [(p ∨ q) (¬p ∧¬q)]→(p ∧

 
p q ¬p ¬q q) (¬p ∧ ¬q) q) q)
1 v v f f v f v v
2 v f f v v v f v
3 f v v f v v f v
4 f f v v f v f v
Tabla 3 Tabla de la verdad ejercicio 4.

Simulación en logiacunad.com

Tabla 4 Simulación tabla de verdad Ejercicio4.