Вы находитесь на странице: 1из 9

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.