USO DE LAS REGLAS DE INFERENCIA

YARINA PATRICIA NARVEZ

CD. 1065624941

FELIX JAVIER VILLERO MAESTRE

TUTOR

UNIVERSIDAD NACIONAL ABIERTA Y A DISTANCIA

VICERRECTORA ACADMICA Y DE INVESTIGACIN
HERRAMIENTAS DIGITALES PARA LA GESTIN DEL CONOCIMIENTO
GRUPO 200610A_363
VALLEDUPAR
2017
Primera etapa:

Socializar la conceptualizacin y mnimo tres ejemplos de alguna de las

terminologas de la Lgica Matemtica (slo selecciona una e informa en el foro
cual escogi, para que no sea escogido por otro integrante), la terminologa es
la siguiente:

DISYUNCIN:

Se representan dos enunciados separadas por la expresin o basta con

que una sea verdadera para que se cumpla la proposicin (pvq). Su
smbolo es: V

EJEMPLOS:

Est lloviendo o es de noche.

Est feliz o est enojado.

Est caminando o est lloviendo.

Hay derivadas o hay integrales

p= El numero 2 es par

q = la suma de 2 + 2 es 4

Entonces

pvq: El numero 2 es par o la suma de 2 + 2 es 4

p = La raz cuadrada del 4 es 2

q = El numero 3 es par

Entonces

Pvq: La raz cuadrada del 4 es 2 o el numero 3 es par

CONJUNCIN:

Es cuando dos proposiciones simples se combinan mediante la

expresin y, la proposicin compuesta resultante se le
llama conjuncin (pq). Su smbolo es: , &,

EJEMPLOS:

La puerta est vieja y oxidada.

Hace fro y est nevando.

Est lloviendo y es de noche.

Tiene gasolina y tiene corriente.

p ^ q (se lee: p y q)

p = El numero 4 es par

q =Siempre el residuo de los nmeros pares es 2

Entonces

p^q: El numero 4 es par y Siempre el residuo de los nmeros pares es

2
p = El nmero ms grande es el 34

q =El tringulo tiene 3 lados

Entonces

p^q: El nmero ms grande es el 34 y El tringulo tiene 3 lados

NEGACIN:

Si p es una proposicin fundamental, de sta se puede formar otra

proposicin, que se le llama Negacin de p, escribiendo: Es falso
que antes de p, , cuando es posible, se inserta en p la
palabra No, (p) Su smbolo es: , ~

EJEMPLOS:

No est lloviendo.

La seora no ceno.

Es falso que 52=12.

Es falso que Alemania se encuentra en Europa.

p: 4 + 4 es igual a 9

-p: 4 + 4 no es igual a 9
p: El 4 es un numero par

-p: El 4 no es un numero par

CONDICIONAL:

Es aquella proposicin compleja cuya conectiva dominante es el

condicional, es decir, aquella expresin apofnatica que tiene la forma p
q, y que se lee si p, entonces q o bien p es condicin suficiente de
q, donde A es el antecedente y B el consecuente. Su smbolo es:

EJEMPLOS:

Si est dormido entonces est soando.

Si quiere comer entonces tiene hambre.

Si Londres est en Inglaterra entonces Pars est en Francia.

Si hay gasolina en mi tanque entonces mi automvil funciona.

p: llueve

q: hay nubes

pq: si llueve entonces hay nubes

p: Hoy es mircoles

q: Maana ser jueves

pq: Si Hoy es mircoles entonces Maana ser jueves

BICONDICIONAL:

Tambin llamado equivalencia o implicacin doble, es una proposicin

de la forma P si y slo si Q, en la cual tanto P como Q son ambas
ciertas o ambas falsas. Tambin se dice que Q es una condicin
necesaria y suficiente para P,(pq). Su smbolo es: ,

EJEMPLOS:

Esta completo si y solo si tienes todas las actividades.

Saldrs si y solo si acabaste tu tarea.

Est lloviendo si y solo si est nublado.

3+2=5 si y solo si 4+4=8

p: 10 es un nmero impar

q: 6 es un nmero primo

pq: 10 es un nmero impar si y solo si 6 es un nmero primo

p: 3 + 2 = 7

q: 4 + 4 = 8

pq: 3 + 2 = 7 si y solo si 4 + 4 = 8
Segunda etapa:

Planteamiento y resolucin (utilizando las operaciones necesarias de las

tablas de verdad) de uno de los problemas de la Lgica Proposicional del
ANEXO 1;

ANEXO 1

Anglica se levant el lunes como lo hace siempre a las 5:30 am para alistarse
e irse a trabajar; pero ese lunes la nostalgia se apoder de ella y sumndole la
predisposicin que suele dar el comenzar la semana de trabajo. Pero ella al
mirarse al espejo minutos antes de salir de su casa hizo la siguiente reflexin:
tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo
un excelente empleo. Es que en realidad poseo una excelente salud y el
trabajo que poseo es excelente. Por consiguiente poseo una calidad de vida.
Analiza a travs de las tablas de verdad si es correcta la reflexin que hace
Anglica, determinando si es tautologa o contradiccin o contingencia.

1. Definir las preposiciones simples

P= Tengo calidad de vida

Q= poseo una buena salud
R= poseo un excelente empleo

2. Hallar la declaracin de las preposiciones compuestas por medio del

lenguaje natural.

Tengo calidad de vida y poseo una buena salud. Tengo calidad de vida y poseo
un excelente empleo. Es que en realidad poseo una excelente salud y el
trabajo que poseo es excelente. Por consiguiente poseo una calidad de vida
 3. Hallar la declaracin de las preposiciones compuestas por medio del
lenguaje lgico.

{ ( P Q ) ( P R ) ( Q R ) } P
En la tabla de la verdad que as:

Tercera etapa:
Seleccionar uno de los enunciados denominados como silogismos ANEXO 2,
para representar grficamente con el uso del Diagrama de Venn el
razonamiento seleccionado

ANEXO 2

ENUNCIADOS DENOMINADOS SILOGISMOS FASE

INDIVIDUAL

Algunos cursos del rea de Matemticas son obligatorios de los programas de

Ingeniera en la UNAD.
Todos los cursos de tres (3) crditos son cursos obligatorios de los programas
de Ingenieras en la UNAD.
Algunos cursos de tres (3) crditos no son cursos del rea de Matemticas.

Premisa 1: Algunos cursos del rea de Matemticas son obligatorios.

Premisa 2: Todos los cursos de tres (3) crditos son cursos obligatorios.
Premisa 3: Algunos cursos de tres (3) crditos no son cursos del rea de
Matemticas.