LÓGICA MATEMÁTICA

TAREA 3 CLASIFICACIÓN DE PROPOSICIONES

ELABORADO POR:
xxxxx

TUTORA:
ANDREA LIZBETH NOVA

PROGRAMA
INGENIERÍA ELECTRONICA

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA UNAD

COLOMBIA
NOVIEMBRE 05 DE 2019
INTRODUCCION
En el siguiente documento por medio de ejercicios prácticos y teóricos
conoceremos los temas, proposiciones simples y compuestas, proposiciones
categóricas, proposiciones contrarias de contingencia y subcontrarias. Tablas de
verdad, métodos de demostración, razonamientos lógicos, inferencia lógica y
argumentos lógicos., Cuantificadores, que a través de ellos comprenden los
conceptos fundamentales de la lógica proporcional y las aplicaciones para la
resolución de problemas. Los conceptos y la temática desarrollada ayuda en la
toma de decisiones de diversas variables comunes usadas en nuestra vida

OBJETIVOS

-Aprender y conocer la importancia de la Lógica proposicional, y su uso ante

situaciones comunes diarias.
- Conocer los elementos de la lógica proposicional y desarrollar los ejercicios
planteados de la guía.
-Desarrollar el contenido de la guía y Compare SUS Resultados Con El Simulador
práctico Lógica UNAD.
- Reconocer los conceptos de tautologías y contradicciones y contingencias

Ejercicio 1: Proposiciones categóricas

A continuación, encontrará las proposiciones categóricas para el

desarrollo del ejercicio 1:
A).

p: Todos los estudiantes ganan la evaluación final de curso

q: Algunos estudiantes no ganan la evaluación final de curso

A partir de las proposiciones categóricas que haya seleccionado deberá

dar respuesta a los siguientes ítems:
  Establecer su estructura de acuerdo con la siguiente tabla:

ESTRUCTURA

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

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

 Universal afirmativa (proposiciones-A): Todo S es P.
Cuantificador universal y cualidad afirmativa.
 Universal negativa (proposiciones-E): Ningún S es P o Todo
S no es P. Cuantificador universal negativo o Cuantificador
universal y cualidad negativa.
 Particular afirmativa (proposiciones-I): Algunos S son P.
Cuantificador particular y cualidad afirmativa.
 Particular negativa (proposiciones-O): Algunos S no son P.

Cuantificador particular y cualidad negativa.

Respuesta ejercicios #1

La proposición p es universal afirmativa (A)

La proposición q es negativa particular (o)

Cuantificador Termino sujeto Cualidad Predicado

Universal(todos) Los estudiantes ganan La evaluación

Existencial(algunos) Estudiantes No ganan La evaluación

De acuerdo a la determinación anterior y teniendo el siguiente esquema,
establezca si las proposiciones son contrarias, de contingencia o
subcontrarias. Requisito para este paso las proposiciones deben tener el
mismo término sujeto y predicado.

Las proposiciones son contradictorias

Ejercicio 2: Razonamiento Deductivo e Inductivo

Descripción del ejercicio:

A continuación, encontrará una serie de razonamientos para el desarrollo

del ejercicio 2:

A. La librería a la que frecuentemente va Sofía tiene el último fin de

semana de cada mes promociones; por lo que decide que a partir
del próximo mes irá el último fin de semana a comprar los libros
que tanto le gustan, ahorrando así una cantidad importante de
dinero.
A partir del razonamiento que haya seleccionado, deberá dar respuesta a
los siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
 Argumentar la respuesta con sus propias palabras.

Respuesta ejercicio #2

El razonamiento es inductivo puesto que se deriva de la observación y de

experiencia y se supone que el suceso puede volver a ocurrir tenido en
cuenta que en condiciones similares a lo sucedido

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio

A continuación, encontrará la expresión simbólica, las premisas y la

conclusión de un argumento para el desarrollo del ejercicio 3:

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

Premisas:
P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
Conclusión: ¬𝑝

A partir de la expresión simbólica seleccionada, el estudiante deberá:

 Definir las proposiciones simples, tendrá la libertad de definirla bajo

una descripción basada en un contexto, el que se solicita es un
contexto académico, ejemplo:
 p: Carlos estudia en la UNAD

q: La UNAD es una Universidad Pública

 Remplazar las variables expresadas simbólicamente y llevarlas al

lenguaje natural. Las proposiciones simples deben ser de autoría de
cada estudiante, por lo que de encontrar proposiciones iguales entre
estudiantes se considerara como copia y se tomaran las medidas
correctivas estipuladas por la UNAD.
 Generar una tabla de verdad con el simulador Lógica UNAD a partir
del lenguaje simbólico (El estudiante encontrará la Guía para el uso
de recursos educativos Simulador Lógica UNAD, en el Entorno de
Aprendizaje Práctico, así como el link de acceso al recurso)
 Generar una tabla de verdad manualmente a partir del lenguaje
simbólico (En Word, Excel o foto del desarrollo manual).
 Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

Respuesta ejercicio #3

Proposición simple

P: pablo aprueba lógica matemática

Q: Carlos aprueba lógica matemática

R: rosa aprueba lógica matemática

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

Lenguaje natural
Si pablo aprueba lógica matemática entonces Carlos no aprueba lógica
matemáticas y si Carlos aprueba lógica matemática rosa no aprueba lógica
matemática ( o ambos ) y si rosa aprueba lógica matemática entonces pablo no
aprueba lógica matemática
Tabla de la verdad manual
Demostración de la validez del argumento mediante las leyes de la
inferencia lógica

P1: 𝑝 → ¬𝑞
P2: 𝑞 ∨ ¬𝑟
P3: 𝑟
¬𝑝
4: q tolledo ponens (2.3) t.p
5. ¬𝑝 tollendo tollens (1.3) t.t
Generar una tabla de verdad con el simulador Lógica UNAD a partir del
lenguaje simbólico
Ejemplo 1
Hoy no es domingo o mañana es viernes
P v q

Ejemplo 2
Recibo la bonificación si y solo si asisto a la capacitación
P ↔ q
 Conclusión
Reforzamos los conocimientos adquiridos en la anterior unidad al dar usode las
formas básicas de las tablas de verdad, los principios de lógica y los razonamientos
lógicos para demostrar la validez o no validez de las situaciones problemáticas
propuestas.
Analizar situación problemáticas sugerida en la guía pro medio de las inferencias
lógicas y las leyes de inferencia planteando una solución

Referencias bibliográficas

Proposiciones categóricas
ttps://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=72&docID=
4569631&tm=1529336365580
Leyes de Inferencia
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=81&docID
=3199701&tm=1529336485971

Tipos de Razonamiento
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?ppg=91&docID
=4569631&tm=1529513879802

OVI Unidad 3 - Uso de las Leyes de Inferencia en la demostración de la

validez de un argumento
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado
de http://hdl.handle.net/10596/13869