Asignatura:

Pensamiento Lgico y Matemtico.

Actividad a desarrollar:

Paso 2 Operatividad entre Conjuntos

Presenta:

Carlos Alberto Arroyave Marmolejo.

CC. 1.115.084.447
Estdiate ingeniera industrial
CEAD PALMIRA
Grupo: 200611_527

Cdigo del curso: 200611A_363

Tutor del curso:

John Jairo Getial Pantoja

Guadalajara de Buga, 01 de Noviembre de 2017.

 OBJETIVOS

A. Identificar los conceptos de las terminologas de la lgica matemtica.

B. Conocer las propiedades de las operaciones de la lgica proposicional.

C. Resolver los problemas de la lgica proposicional con el manejo de las tablas de

verdad.

D. Reconocer los enunciados denominados silogismos categricos y el diagrama

de Venn.
 INTRODUCCIN

En este texto se encontraran con conceptos de las terminologas de la lgica

matemtica; Tambin se hablara de las propiedades de las operaciones lgica

proposicional; de la misma manera se tocara el tema de la tabla de la verdad y de

los silogismos categricos y el diagrama de Venn.

 Conceptualizacin de la terminologa de la Lgica Matemtica seleccionada

Proposiciones simples y compuestas.

Es toda oracin o enunciado al que se le puede asignar un cierto valor (v o f). Si no

puede concluir que es verdadero o falso no es proposicin. Es cualquier agrupacin de
palabras o smbolos que tengan sentido y de la que en un momento determinado se
pueda asegurar si es verdadera o falsa. La verdad o falsedad de una proposicin es lo
que se llama su valor lgico o valor de verdad. Las proposiciones se denotan con letras
minsculas. Ejemplo: p, q, r, a, b.

Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES: tambin denominadas proposiciones atmicas. Son

aquellas proposiciones que no se pueden dividir.

Ejemplos:

- El cielo es azul.

PROPOSICIONES COMPUESTAS: tambin denominadas moleculares. Son aquellas

que estn formadas por dos o ms proposiciones simples unidas por los operadores
lgicos

Ejemplos:

- Fui al banco, pero el banco estaba cerrado.

- Los lectores de este libro son jvenes o universitarios.
- Si el mircoles prximo me saco la lotera entonces te regalare un auto.
 Link de acceso a presentacin en Prezi de las propiedades de la lgica
proposicional

https://prezi.com/view/QWlS84j9WpJQKfycIeJH/
Proceso operativo a travs de la tabla de verdad de la resolucin del enunciado
problmico de la Lgica Proposicional que haya seleccionado, con el respectivo
pantallazo como evidencia de la comprobacin a travs del simulador TRUTH

La UNAD ofrece a sus estudiantes diferentes maneras de recibir asesora acadmica

por parte de los docentes para resolver las inquietudes que se suscitan frente al
desarrollo de las actividades en los cursos. Laura est matriculada en el curso
Pensamiento Lgico y Matemtico; ella ha presentado una baja calificacin en la
actividad del Paso 1, denominada como Operatividad entre Conjuntos. Por lo anterior,
scar el Director del Curso ha solicitado a Leonardo, quien es el docente asignado, un
informe del desempeo de Laura; un fragmento del informe que ha presentado
Leonardo expresa lo siguiente: si Laura no asiste al desarrollo de los CIPAS,
entonces, si Laura no asiste a las webconference acadmicas y asiste al desarrollo de
CIPAS, entonces Laura no asiste al desarrollo de CIPAS y asiste a la actividad B-
Learning.

Transforma este fragmento del informe dado por Leonardo en lenguaje formal, realiza
las respectivas tablas de verdad e indica si es tautologa, contradiccin o contingencia.
Adems debes hacer la comprobacin con el uso del simulador TRUTH.

Solucin:

Proposiciones simples:

p = Laura asiste al desarrollo de CIPAS .

q = Laura asiste a las web conferencias acadmicas.
r = Laura asiste a la actividad b-Learning.

Proposiciones compuestas:

~p = Laura no asiste al desarrollo de los CIPAS.

~q = Laura no asiste a las webconference acadmicas

Declaracin de las proposiciones compuestas.

si Laura no asiste al desarrollo de los CIPAS, entonces, si Laura no asiste a las

webconference acadmicas y asiste al desarrollo de CIPAS, entonces Laura no asiste
al desarrollo de CIPAS y asiste a la actividad B-Learning.

Conectivos lgicos:

No: ~ Negacin.
Y: Conjuncin.
Entonces: Implicacin.
Proposiciones compuestas (lenguaje formal)

~ p [(~qp) (~pr)]

Tabla de Verdad.

p q r ~p ~q (~qp) (~pr) (~qp)(~pr) ~p[(~qp)(~pr)]

V V V F F F F V V

V V F F V F F V V

V f V V F F V V V

V F F V V F F V V

F V V F F F F V V

F V F F V F F V V

F F V V F F V V V

F F F V V F F V V

Tautologa: es cuando tienen solamente proposiciones verdaderas para todos los

valores de verdad de las variables proposicionales.
Contradiccin: Es cuando se tienen solamente proposiciones falsas para todos los
valores de verdad de las variables proposicionales.
Contingencia: es cuando se obtienen proposiciones verdaderas y otras falsas para los
valores de verdad de las variables proposicionales.

Por lo tanto esta proposicin compuesta es una Tautologa

Pantallazo como evidencia de la comprobacin a travs del simulador TRUTH
 Representacin grfica a travs del Diagrama de Venn del enunciado
denominado silogismo categrico

Toda elipse posee eje mayor y eje menor.

Todos los planetas del Sistema Solar poseen como trayectoria una elipse.
Todos los planetas del Sistema Solar poseen eje mayor y eje menor.

P1: Toda elipse posee eje mayor y eje menor

P2: Todos los planetas del Sistema Solar poseen como trayectoria una elipse.
C: Todos los planetas del Sistema Solar poseen eje mayor y eje menor.

Anlisis:

Sujeto (S): todos los planetas del Sistema solar

Trmino medio (M): elipse
Predicado (P): poseen eje mayor y eje menor

Premisa N1

P1: Toda elipse posee eje mayor y eje menor

Posee eje mayor

y eje menor

Elipse
 P2: Todos los planetas del Sistema Solar poseen como trayectoria una elipse.

Todos los planetas

del Sistema Solar

Elipse

Conclusin

Todos los planetas

del Sistema Solar
Posee eje mayor
y eje menor

Elipse

Observamos en el diagrama de Venn, la premisa 1, la premisa 2 y la conclusin.

Se verifica que la conclusin del silogismo es vlida "Todos los planetas del sistema solar
poseen eje mayor y eje menor".
 CONCLUSIONES

A travs de este trabajo se pueden dar a entender los conceptos sobre la

conceptualizacin de la terminologa lgica matemtica; Tambin se da a conocer las

leyes asociativas aplicadas a las operaciones de la lgica proposicional; De la misma

manera se habla de la tabla de verdad y de los enunciados silogismos categricos,

grficamente en el diagrama de Venn.

 REFERENCIAS O BIBLIOGRAFIAS.

INTERNET EXPLORED.

ENCARTA 2006 BIBLIOTECA PREMIUM.

http://www.monografias.com/trabajos100/proposiciones-simples-y-

compuestas/proposiciones-simples-y-compuestas.shtml