UNIDAD 3

LÓGICA PROPOSICIONAL

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

 Introducción

Este trabajo se realiza para poder adquirir conocimiento, investigar, implementar, los

conceptos de proposiciones lógicas simples, compuestas, poder aplicar los conectores

correctamente poder desarrollar una tabla de verdad, apropiándonos de los conceptos,

definiciones, condiciones que estas contienen.

 Objetivos

El objetivo del desarrollo de este trabajo es poder implementar todos los conocimientos
previos para poder resolver los diferentes ejercicios demostrando que se desarrollaron de
forma individual aplicando lo aprendido en esta unidad.
Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Todos los estudiantes ganan el curso

q: Algunos estudiantes no ganan el curso

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Cúpula Término

Predicado

Todos Estudiantes Ganan Curso

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de p: Proposición tipo “A”.

Universal afirmativa. Cuantificador universal y cualidad

afirmativa.

 Definición de la estructura de la proposición categórica

Cuantificador Término Sujeto Cualidad o Término

Cúpula Predicado

Algunos Estudiantes no ganan Curso

 Determinar el tipo de proposición (A, E, I, O).

Clasificación de q: Proposición tipo “O”.

Particular negativa. Cuantificador particular y cualidad negativa.

 Establecer si las proposiciones son contrarias, de contingencia o

subcontrarias.

p
p

De acuerdo al esquema propuesta p y q son contradictoria

Ejercicio 2: Razonamiento Deductivo e Inductivo

Argumento: Hace un tiempo, Juan, Miguel y Alejandro que son amigos,

le prestaron dinero a José, él no les pagó; ahora nuevamente José le pide
a Miguel que le haga un préstamo, inmediatamente Miguel asume que no
le va pagar ese dinero.

Desarrollo

Argumentación: El razonamiento utilizado es el Inductivo, ya que Miguel

según el precedente anterior sucedido con José no solo a él sino a sus
dos amigos es que José no le pagara el dinero que solicita.
Ejercicio 3: Problemas de aplicación
a. Expresión simbólica: [(𝑟→¬𝑞)∧(𝑝 ∨ 𝑠)∧(𝑞∧ 𝑝)]→¬r

Determinación de Premisas: (De acuerdo a la expresión simbólica

divida el argumento en premisas de forma vertical y deben ser
numeradas)
P1: (r→¬q)
P2:(p ∨ s)
P3: (q∧ p)
Conclusión: ¬r

Desarrollo:

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

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

 p: participo activamente en los foros

 q: realizo mis trabajos
 r: obtengo malas calificaciones
 s: pendiente de los trabajos

 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)

[(𝑟→¬𝑞)∧(𝑝 ∨ 𝑠)∧(𝑞∧ 𝑝)]→¬r

Obtengo malas calificaciones entonces, no estoy realizando mis

trabajos y si participó activamente en los foros o estoy pendiente de los
trabajos Y si realizo mis trabajos y participó activamente en los foros
no obtengo malas calificaciones
  Generar la tabla de verdad manualmente: recuerde que aparte
de las columnas de las proposiciones simples, debe haber tantas
columnas como operadores lógicos hay en el lenguaje simbólico
(incluye negaciones y demás operadores lógicos, en el caso del
ejemplo que estamos trabajando, hay 3 proposiciones simples, hay
2 negaciones y 5 operadores lógicos), por lo tanto, la tabla de
verdad está compuesta por 3 columnas de proposiciones simples, 2
de negaciones y 5 columnas de operadores lógicos.

[(R→⌐Q)˄(PVS)˄(Q˄P)]→⌐R
P Q R S ⌐Q ⌐R (R→⌐Q) (PVS) (Q˄P) [(R→⌐Q)˄(PVS)˄(Q˄P)]→⌐R [(R→⌐Q)˄(PVS)˄(Q˄P)]→⌐R [(R→⌐Q)˄(PVS)˄(Q˄P)]→⌐R
V V V V F F F V V F F V
V V V F F F F V V F F V
V V F V F V V V V V V V
V V F F F V V V V V V V
V F V V V F V V F V F V
V F V F V F V V F V F V
V F F V V V V V F V F V
V F F F V V V V F V F V
F V V V F F F V F F F V
F V V F F F F F F F F V
F V F V F V V V F V F V
F V F F F V V F F F F V
F F V V V F V V F V F V
F F V F V F V F F F F V
F F F V V V V V F V F V
F F F F V V V F F F F V

 Resultado de la tabla de verdad: TAUTOLOGÍA

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

Para mí no fue un trajo fácil, ya que me consto algo poder recordar temas visto muchos
años atrás, poder retomar y entender fue un logo más para mi tanto a nivel personal como
profesional, ya que el poder sacar mi carrera adelante y la entrega de cada uno de los
trabajos a conciencia es una satisfacción verdadera para poder estar más cerca de mi deseo
de profesional
 REFERENCIAS

Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.

Retrieved from https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co
Arredondo, C. J., & Escobar, V. G. (2015). Lógica : Temas básicos. Retrieved from
https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co