Pensamiento lógico y matemático

Tarea 3- clasificación de proposiciones y métodos

Presentado por: Fabiana roció wilches melo

Presentado a: Tutor David Rodrigo Olivares

Numero de grupo: 200611_614
Identificación: 1005030278
Escuela de ciencias sociales artes y humanidades
Universidad nacional abierta y a distancia
Fecha de entrega: miércoles 6 de noviembre del 2019
Cúcuta norte de Santander
Introducción
Este presente trabajo clasificación de proposiciones y métodos para probar valides de
argumentos unidad 3 de pensamiento lógico y matemático nos otorgó muchos más
conocimientos acerca de las tablas manuales el lenguaje natural o simbólico y las
proporciones simples de alguna expresión simbólica ya que todos estos temas que
abarcamos en esta tarea 3 nos ayudó a tener más conocimiento y poder a prender un poco
más sobre estas temáticas que poco a poco vamos abarcando.
Desarrollo de los ejercicios plateados por la expresión simbólica letra B

Ejercicio 1: Proposiciones categóricas

Proposiciones categóricas:

p: Algunos docentes son ingenieros industriales

q: Ningún docente es ingeniero industrial

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

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

Algunos Docentes son Ingenieros industriales

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

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

Particular afirmativo. Algunos S son P. Cuantificador particular y cualidad afirmativa.

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

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

Ningún Docente Es Ingeniero industrial

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

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

Universal negativa o Cuantificador universal y cualidad negativa.

 p: Algunos docentes son ingenieros industriales
q: Ningún docente es ingeniero industrial

I,E Las proposiciones son contrarias

Ejercicio 2: Razonamiento Deductivo e Inductivo

Argumento: B. De todos los felinos, el león es el

rey de la selva, ya que es el felino más grande de
África y por su melena pareciera que tuviese corona. Su único potencial depredador es la
hiena, pero solo si ésta lo ataca en grupo; de lo contrario, hiena contra león tendrá como
muy probable vencedor al león.

A partir del razonamiento que haya seleccionado, deberá dar respuesta a los
siguientes ítems:
 Identificar si el razonamiento es deductivo o inductivo.
Razonamiento: DEDUCTIVO
 Argumentar la respuesta con sus propias palabras.

El razonamiento utilizado es el deductivo, ya que a partir de hechos conocidos como el

león es rey de todos los felinos, el rey de la selva y su único depredador es la hiena, se
deduce en una conclusión donde la misma responde que el vencedor será el león

Ejercicio 3: Problemas de aplicación

B. Expresión simbólica

[ ( p ∧¬q ) ∧ ( p → ¬r ) ∧ ( q ∨ ¬ s ) ] ⟶ (¬ r ∧¬ s )
Premisas
P1: p ∧¬ q
P2: p →¬ r
P3: q ∨ ¬ s
Conclusión: ¬ r ∧¬ s
 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
P: Fabiana participo en CIPAS
q: Fabiana asistió en conferencias virtuales
r: Fabiana participo en los B-learning
s: Fabiana obtiene buenas calificaciones

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

Fabiana participo en CIPAS, pero no asistió en conferencias virtuales. Si participo en

CIPAS no participo en los B-learning. Por lo tanto, asistió en conferencias virtuales,
pero no es cierto que obtiene buenas calificaciones; entonces no participo en los B-
learning ni obtiene buenas calificaciones.

 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).
 [ ( p ∧¬q ) ∧ ( p → ¬r ) ∧ ( q ∨ ¬ s ) ] ⟶ (¬ r ∧¬ s )

p q r s ~q ~r ~s ( p ∧¬q ) ( p →¬ r ) ( q ∨ ¬s ) ( ¬r ∧¬ s )
[ ( p ∧¬q ) ∧ ( p → ¬r ) ∧ ( q ∨ ¬ s ) ] [ ( p ∧¬q ) ∧ ( p → ¬r )
v v v v f f f f f f f f v
v v v f f f v f f v f f v
v v f v f v f f v f f f v
v v f f f v v f v v f v v
v f v v v f f v f f f f v
v f v f v f v v f f f f v
v f f v v v f v v f f f v
v f f f v v v v v f f v v
f v v v f f f f v f f f v
f v v f f f v f v v f f v
f v f v f v f f v f f f v
f v f f f v v f v v f v v
f f v V v f f f v f f f v
f f v f v f v f v f f f v
f f f v v v f f v f f f v
f f f f v v v f v f f v v

 Resultado de la tabla de verdad: TAUTOLOGÍA

 Demostración de la validez del argumento mediante las leyes de la inferencia lógica

[ ( p ∧¬q ) ∧ ( p → ¬r ) ∧ ( q ∨ ¬ s ) ] ⟶ (¬ r ∧¬ s )
Premisa 1: p ∧¬ q
Premisa 2: p →¬ r
Premisa 3: q ∨ ¬ s

Conclusión:¬ r ∧¬ s
Se demuestra la validez de la CONCLUSIÓN: ¬ r ∧¬ s

Conclusión
En conclusión, las expresiones simbólicas y todo aquello que lo abarca en esta temática nos
aportó grandes conocimientos y enseñanzas en las presentes lecturas de cada uno de los
ejercicios realizados nos especifica muy bien cada uno de los conceptos, ejemplos y
algunos ejercicios en cual ponemos en práctica, apoyo temático en el juego Quien quiere
ser millonario con Métodos para probar validez de argumentos.

Referencias bibliográficas
https://ebookcentral-proquest-com.bibliotecavirtual.unad.edu.co/lib/unadsp/reader.action?
ppg=72&docID=4569631&tm=1529336365580
https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/reader.action?
ppg=81&docID=3199701&tm=1529336485971

https://campus08.unad.edu.co/ecbti55/mod/game/attempt.php