Ejercicio 1: Proposiciones y tablas de verdad

 a).
p: La isla Múcura es un escenario celestial
q: Es un lugar mágico donde el tiempo parece haberse
detenido

r: La isla Múcura se encuentra ubicada en el archipiélago

de San Bernardo – Colombia

( p ∨q ) ↔ r

La isla Múcura es un escenario celestial o es un lugar mágico

donde el tiempo parece haberse detenido, si y solo si la isla Múcura se
encuentra ubicada en el archipiélago de San Bernardo – Colombia

p q r p ∨q ( p ∨q ) ↔ r
V V V V V
V V F V F
V F V V V
V F F V F
F V V V V
F V F V F
F F V F F
F F F F V

Es una contingencia porque hay valores verdaderos o falsos

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

A continuación, encuentra el lenguaje simbólico de expresiones que

representan algunas leyes de inferencia.

A. Expresión simbólica

p →¬ q
¬q→r

p →r

Regla de inferencia: Silogismo hipotético

p: Maria estudia pedagogía infantil

 q: María matricula Algebra lineal

r: María matricula el curso Lógica matemática

s: Maria estudia en la UNAD

Si María estudia pedagogía infantil entonces no María matricula el curso

Algebra lineal, Si María no matricula el curso algebra lineal entonces
matricula el curso Lógica matemática, Por lo tanto, María estudia
pedagogía infantil entonces matricula el curso Lógica matemática

r
s

r∧s

Regla de inferencia: Adjunción

María matricula el curso Lógica matemática y Maria estudia en la UNAD,

por lo tanto, María matricula el curso Lógica matemática y estudia en la
UNAD

¬ p→q
¬p

Regla de inferencia: Modus Ponendon Ponens

Si María no estudia pedagogía infantil entonces María matricula el curso

Algebra lineal, María no estudia pedagogía infantil, Por lo tanto, María
matricula el curso Algebra lineal

Ejercicio 3: Aplicación de las reglas de inferencia

A. Voy a cine o voy al estadio. Si Voy a cine entonces salgo con

Gabriela. Si voy al estadio entonces Salgo con Sofía.
a. Conclusión: _Salgo con Gabriela o salgo con Sofia_________

b. Ley de inferencia aplicada: __Silogismo disyuntivo.

c. Lenguaje simbólico:

p: Voy a cine

q: Voy al estadio

r: Salgo con Gabriela

s: Salgo con Sofía

P1:( p ∨q ) Premisa
P2: ( p →r ) Premisa
P3: ( q → s ) Premisa
8. r ∨ s (SD) 1, 2, 3 Silogismo disyuntivo

Ejercicio 4: Problemas de aplicación

Expresión simbólica:

[ ( ¬ p →q ) ∧ ( q →¬ r ) ]→ ( ¬ p ∧¬ r )
Determinación de Premisas:
P1: ( ¬ p → q )
P2:( ( q → ¬r ) )

Conclusión:
( ¬ p → ¬r )

Desarrollo:

 Proposiciones simples: (se define cada proposición simple del

argumento, siempre en afirmativo y con letras en minúscula).

p: realizo los trabajos colaborativos

q: cumplo con las rubricas

s: obtengo buenas calificaciones

 Razonamiento en lenguaje natural: (A partir de las

proposiciones simples anteriores y el lenguaje simbólico dado en el
ejercicio, se construye la expresión en lenguaje formal o natural)

Si no realizo los trabajos colaborativos entonces cumplo con las

rubricas, y si cumplo con las rubricas entonces no obtengo buenas
calificaciones, Por lo tanto, Si no realizo los trabajos colaborativos
entonces no obtengo buenas calificaciones

 Generar la tabla de verdad manualmente: La tabla de verdad

está compuesta por 3 columnas de proposiciones simples, 2 de
negaciones y 5 columnas de operadores lógicos.

p q r ¬ p ¬ r ( ¬ p → q ) ( q → ¬r ) ( ¬ p → q ) ∧ ( q → ¬
¬rp)→
¿ ¬r ¿ 1→∗2
V V V F F V F F V V
V V F F V V V F V V
V F V F F V V F V V
V F F F V V V F V V
F V V V F V F F F V
F V F V V V V F V V
F F V V F F V F F V
F F F V V F V F V V

 Resultado de la tabla de verdad: TAUTOLOGÍA ya que la última

columna son todas verdaderas

 Generando la tabla de verdad con el simulador Lógica UNAD

leyes de inferencia: (Demostrar la validez del argumento nediante la
aplicación de las leyes de inferencia)
1. P1: ¬ p → q
2. P2:q → ¬r
3. Conclusión ( ¬ p → ¬r ) (SH) 1, 2 Silogismo Hipotético