Sunteți pe pagina 1din 13

TAREA 1 – PROPOSICIONES Y TABLAS DE VERDAD

Yenifer Andrea Caicedo Mesa

Universidad nacional abierta y a distancia

Sociales, Artes y Humanidades

Psicologia

Pensamiento lógico matemático.

Mayo 2019
INTRODUCCION

La lógica estudia la forma del razonamiento, es una disciplina que por medio de reglas

y técnicas determina si un argumento es válido. En un nivel elemental, la lógica

proporciona reglas y técnicas para determinar si es o no valido un argumento dado. El

razonamiento lógico se emplea en matemáticas para demostrar teoremas; en ciencias de la

computación para verificar si son o no correctos los programas; en las ciencias física y

naturales, para sacar conclusiones de experimentos; y en las ciencias sociales y en la vida

cotidiana, para resolver una multitud de problemas. Ciertamente se usa en forma constante

el razonamiento lógico para realizar cualquier actividad.

https://www.ecured.cu/L%C3%B3gica_matem%C3%A1tica
OBJETIVO

 Conocer las proposiciones y tablas de verdad.

 Estudiar la logica y logica prposicional.

 Entender como funciona el aprendizaje autonomo de las matematicas.


DESARROLLO

Ejercicio 1: Conceptualización de Cuantificadores

Captura de las diapositivas realizada en formato power point.


|
Ejercicio 2: Proposiciones y Tablas de verdad

Descripción del ejercicio:

E. Si Lina consume alimentos balanceados y practica ejercicio regularmente, entonces goza

de buena salud. Si Lina no practica ejercicio regularmente o se dedica a otras actividades, no

gozará de buena salud.

A partir del argumento que haya seleccionado deberá dar respuesta a los siguientes ítems:

 Definir las proposiciones simples del argumento.

 Definir la expresión del argumento en lenguaje simbólico o formal.

 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 y

determinar si el resultado es una tautología, contingencia o contradicción.

SOLUCIÓN:

Argumento: Si Lina consume alimentos balanceados y practica ejercicio regularmente,

entonces goza de buena salud. Si Lina no practica ejercicio regularmente o se dedica a otras

actividades, no gozará de buena salud.

1. Proposiciones Simples:

p: Lina consume alimentos balanceados.

q: practica ejercicio regularmente.

r: goza de buena salud.

o: se dedica a otras actividades.

2. Lenguaje Simbólico:

[(p ∧ q→r) ] ∧ [ ¬q ∨s→¬r]

p ∧ qr : Si Lina consume alimentos balanceados y practica ejercicio regularmente,

entonces goza de buena salud.


¬q ∨o¬r: Si Lina no practica ejercicio regularmente o se dedica a otras actividades, no

gozará de buena salud.

3. Tabla de la verdad (manual):

p q r s ~q ~r p^q ~qvs p^qr ~qvs~r ((p∧qr))∧(~q∨s~r)


v v v v f f v v v f f
v v v f f f v f v v v
v v f v f v v v f v f
v v f f f v v f f f f
v f v v v f f v v f f
v f v f v f f v v f f
v f f v v v f v v v v
v f f f v v f v v v v
f v v v f f f v v f f
f v v f f f f f v v v
f v f v f v f v v v v
f v f f f v f f v v v
f f v v v f f v v f f
f f v f v f f v v f f
f f f v v v f v v v v
f f f f v v f v v v v

Resultado de la tabla de verdad: Satisfacibilidad o Contingencia

4. Simulador Lógica UNAD:

p q r s ((p∧qr))∧(~q∨s~r)
v v v v F
v v v f V
v v f v F
v v f f F
v f v v F
v f v f F
v f f v V
v f f f V
f v v v F
f v v f V
f v f v V
f v f f V
f f v v F
f f v f F
f f f v V
f f f f V

Ejercicio 3: Problemas de aplicación

Descripción del ejercicio:

E. (𝑝→𝑟)∧(𝑞 ∨¬𝑝)

A partir de la proposición compuesta en lenguaje simbólico que haya seleccionado 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

 Remplazar las variables expresadas simbólicamente y llevarlas al lenguaje natural.

Las proposiciones simples deben ser de autoría de cada estudiante.

 Generar una tabla de verdad con el simulador Lógica UNAD a partir del lenguaje

simbólico.

 Generar una tabla de verdad manualmente a partir del lenguaje simbólico

 Definir si el argumento seleccionado inicialmente es una tautología, contradicción o

contingencia.
SOLUCIÓN:

Expresión formal o simbólica:

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

Definición de las proposiciones simples:

p: yenifer estudia psicología

r: me gusta psicopatología

q: pierdo psicopatología

Lenguaje natural de la expresión formal:

Si estudio psicología, entonces me gusta la psicopatología y si pierdo psicopatología no

estudio psicología.

Generar la tabla de verdad manualmente:

p q r ~q (p→r) (q∨~p) (p→r)∧(q∨~p)


v v v f v v V
v v f f v f F
v f v f f v F
v f f f f f F
f v v v v v V
f v f v v v V
f f v v v v V
f f f b v v V

- Resultado de la tabla de verdad: INDETERMINADO O CONTINGENCIA

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


CONCLUSIÓN.

Al finalizar este trabajo nos queda de formas más clara el significado de lógica, que se

entiende como la ciencia que estudia la estructura o forma de pensamiento humano y de la

importancia que se está tiene para armar las proposiciones. Como estudiantes es importantes

tener claro estos conceptos de la matemática, ya que es de gran ayuda para entender el

razonamiento.
BIBLIOGRAFÍA

- Cardona, Torres, Sergio Augusto. Lógica matemática para ingeniería de sistemas y

computación, Ediciones Elizcom, 2010. ProQuest Ebook Central,

http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199701.

- Rodríguez, Vallejo, Ramón. Conjuntos numéricos, estructuras algebraicas y

fundamentos de álgebra lineal. Volumen I: conjuntos numéricos, complementos,

Editorial Tébar Flores, 2013. ProQuest Ebook Central,

http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3226457.

- Cardona, Torres, Sergio Augusto. Lógica matemática para ingeniería de sistemas y

computación, Ediciones Elizcom, 2010. ProQuest Ebook Central,

http://ebookcentral.proquest.com/lib/unadsp/detail.action?docID=3199701.

- https://www.quora.com/How-do-I-show-that-%E2%88%80x-P-x-

%E2%88%A8%E2%88%80x-Q-x-and-%E2%88%80x-P-x-%E2%88%A8Q-x-are-

not-logically-equivalent