Está en la página 1de 9

PENSAMIENTO LOGICO Y MATEMATICO

Desarrollo Tarea 3

Presentado al tutor (a):


JUAN CARLOS GUERRERO

Entregado por el estudiante:


ARMANDO AGUILERA CALDERON
1.096.241.393

Grupo: 200611_184

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA - UNAD


ESCUELA DE CIENCIAS BÁSICAS TECNOLOGÍA E INGENIERÍA
JUNIO 2019
BARRANCABERMEJA
INTRODUCCION:
Con el presento trabajo llegaremos a comprender los razonamientos por inducción y
deducción presentando un ejercicio como ejemplo, también trabajaremos con las
proposiciones categóricas, sus estructuras, estableceremos si las proposiciones son
contrarias, de contingencia o sub – contrarias, retomaremos el tema de expresiones
simbólicas dándoles solución y validez con tablas de verdad manuales y por medio del
software del simulador propia de la UNAD.
Nos apropiaremos de los temas presentados y daremos solución completa a todos los
ejercicios propuestos en el taller…

OBJETIVOS:
 Identificación y aplicación de Proposiciones Categóricas
 Identificación y argumentación de tipos de Razonamiento
 Problemas de aplicación de métodos para probar validez de argumentos
Desarrollo Tarea 3 - Clasificación de proposiciones categóricas y Métodos para
probar validez de argumentos

Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Ningún tutor de Pensamiento Lógico es Licenciado en Matemáticas

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

Cuantificador Término Sujeto Cualidad o Término


Predicado
Cúpula

Ningún Tutor de Es Licenciado en


pensamiento lógico matemáticas
 Universal negativa (proposiciones-E): Ningún S es P o
Todo S no es P. Cuantificador universal negativo o Cuantificador
universal y cualidad negativa.

q: Algunos tutores de Pensamiento Lógico son Licenciados en Matemáticas

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

Cuantificador Término Sujeto Cualidad o Término


Predicado
Cúpula

Algunos Tutor de Son Licenciados en


pensamiento lógico matemáticas
 Particular afirmativo (proposiciones-I): Algunos S son P.
Cuantificador particular y cualidad afirmativa.
 Establecer si las proposiciones son contrarias, de contingencia o
subcontrarias.

p
p

De acuerdo al esquema propuesta p y q son contradictorias.

Ejercicio 2: Razonamiento Deductivo e Inductivo


Argumento: El 31 de octubre es el día de los niños, este día se
acostumbra que los niños pidan dulces por lugares cercanos a su hogar
en compañía de un adulto. El índice de robos de niños el día de
Halloween ha aumentado por lo tanto la costumbre de sacar a los niños
a pedir dulces se ha perdido.

Desarrollo

Argumentación: El razonamiento utilizado es el inductivo, ya que, a la


sociedad se le indujo la situación de que el 31 de octubre cuando los
niños salen a pedir dulces es cuando son robados o llevados del lugar.

Ejercicio 3: Problemas de aplicación

Expresión simbólica:
[ ( p ∨ q ) ∧ ( q ⟶ ∼r ) ∧ ( ∼ r ⟶ s ) ∧ ( ∼ p ) ∧ ( s ⟶r ) ]⟶( r)

Premisas:
P1:( p ∨q )
P2:( q ⟶ ∼ r )
P3: ( ∼ r ⟶ s )
P4: ( ∼ p )
P5: ( s ⟶ r )

Conclusión: (r )
Desarrollo:

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


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

p: compro un computador

q: compro un carro

r: ingresare a la UNAD

s: tendré mis ahorros

 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 compro un computador o compro un carro y si compro un carro


entonces no ingresare a la UNAD y si no ingresare a la UNAD
entonces tendré mis ahorros y si no compro un computador y si tengo
mis ahorros entonces ingresare a la UNAD por lo tanto ingresare a la
UNAD

 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.
 Resultado de la tabla de verdad: TAUTOLOGÍA

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


leyes de inferencia: (Mediante la aplicación de las leyes de inferencia,
demuestre la validez del argumento, recuerde que para aplicar leyes de
inferencia debe haber obtenido como resultado una tautología en la
tabla de verdad)
Premisas:
P1:( p ∨q )
P2:( q ⟶ ∼ r )
P3: ( ∼ r ⟶ s )
P4: ( ∼ p )
P5: ( s ⟶ r )

Conclusión: (r )
P6: (s ⟶ r)

CONCLUSIONES:
Se completa la solución de los ejercicios, se comprende la teoría y se pone en práctica para
la realización de cada punto, se tienen inconvenientes pero son prontamente solucionados.
Se realizó la tabla de verdad manualmente y por el simulador, observando que dio el mismo
resultado siendo la solución correcta en ambas partes.

REFERENCIAS BIBLIOGRAFICAS:
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 61- 65) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=72&docID=4569631&tm=1529336365580
Cardona, T. S. A. (2010). Lógica matemática para ingeniería de sistemas y computación.
(pp. 78 - 99). Ediciones Elizcom, Madrid. Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971
Arredondo, C. J., & Escobar, V. G. (2015). Lógica: temas básicos. Distrito Federal,
MÉXICO: Grupo Editorial Patria. (pp. 80 - 84) Recuperado de
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=91&docID=4569631&tm=1529513879802
Castaño, G. (2017). Leyes de inferencia, [Video]. Recuperado de
http://hdl.handle.net/10596/13869

También podría gustarte