Unidad 1 lógica proporcional

Pensamiento lógico matemático

Programa de psicología

Grupo 614

Presentado por ELIS CAUSIL OSORIO

Tutora luz Adriana Ramírez

Universidad nacional abierta y a distancia (unad)

Sahagun-córdoba

Escuela de ciencias sociales artes y humanidades (ecsah)

 Introducción

En el siguiente trabajo van a encontrar una serie de ejercicios relacionados con la lógica

proporcional en donde se podrán evidenciar todos los conceptos adquiridos en este tema

sobre lógica matemática y tablas de verdad sim embargo cabe resaltar que este tema tema

de lógica proporcional puede ser algo sencillo, pero a la vez puede ser algo complejo y todo

esto lo van a encontrar en el siguiente trabajo.

 Objetivos

Primeramente, el objetivo primordial es establecer y manejar con claridad los conceptos de

lógica proporcional.

Segundo entablar y entender conceptos y ser muy claro y coherente con la lógica

proporcional

Manejar correctamente el tema lógico proporcional y tablas de verdad.

 Desarrollo del ejercicio 1

Cuantificador
Un cuantificador es una expresión que determina la cantidad de elementos que satisfacen
una proposición.
Cuantificador universal se simboliza:
Se expresa para “para todo”
Cuantificador existencial se simboliza: ∃ y se expresa “existe algún”.
Dentro los cuantificadores existenciales esta existencial único se simboliza: ∃ y se da
cuando solo hay un elemento en el conjunto A que cumple con la proposición
Existencial único se escribe: ∃! X ∈ A p (x) y se lee: existe un único elemento x de A que
cumple la proposición p (X).

Ejemplos

1: p(X):X/X es el alcalde de Santiago de Cali entonces: ∃! X p(X), existe un único X tal que X es

el alcalde de Santiago de Cali

P(X):X/X es hombre
q(X): X/X es de Colombia
r(X):X//X tiene 26 años
entonces: ∃X p(x) q(x) r (x) existe un único x tal que x es hombre es de Colombia y
tiene 26 años
referencias bibliográficas de acuerdo a las normas apa
Agudelo, A (productor). (2018). cuantificador existencial único.
De https://www.youtube.com/watch?v=72QycNQLPIw

desarrollo del ejercicio 2

1: definición de las proposiciones

P: Sofía estudia medicina

q: Sofía estudia literatura inglesa

r: escribirá poemas

2: definición de la expresión en lenguaje simbólico

 ( Pvq) ^ ( q⟶r)

3: Tabla en el simulador de la unad

4: Tabla manual
Desarrollo del ejercicio 3
p q r s (r^s) (q ⟶(r ^s) (p ⋁q) ⋀ (q ⟶(r ^s)
v v v v v v v v
v v v v v f f f
v v v v v f f f
v v v v v f f f
v v v v v v v v
v v v v v f f f
v v v v v f f f
v v v v v f f f
v v v v v v v v
v v v v v f f f
v v v v v f f f
v v v v v f f f
v v v v v v v v
v v v v v f f f
v v v v v f f f
v v v v v f f f

Conclusiones del trabajo

En conclusión, la lógica proporcional es de gran ayuda para nosotros ya que adquirimos

muchos conocimientos para adquirir buenos conocimientos de igual manera la lógica

proporcional puede ser un tema muy sencillo, pero a la vez es algo complejo sim embargo

se logró adquirir buenas bases para el desarrollo de esta actividad.

la lógica proporcionales un tema en el cual se tuvo algunas dificultades pero que no fueron

dificultad para la realización de esta actividad, pero esas dificultades no fueron

impedimento para la realización de este trabajo.

Referencias bibliográficas
 Cardona, T. S. A. (2010). Lógica matemática para

ingeniería de sistemas y computación. (pp. 9-

28). Ediciones Elizcom, Madrid.

de https://bibliotecavirtual.unad.edu.co:2538/lib/unadsp/r

eader.action?ppg=12&docID=3199701&tm=15293358490

13