SINTAXIS Y SEMANTICA DE PROPOSICIONES COMPUESTAS Y SU NEGACIN. CUANTIFICADORES UNIVERSAL Y EXISTENCIAL. DISYUNCIN CONJUNCIN CONDICIONAL EQUIVALENCIA PROFESOR: M.C.

FRANCISCO JAVIER FLIX TORRES EQUIPO: 4 GRUPO: D04

 Semntica y sintaxis de proposiciones compuestas y su negacin. 1.Cuantificadores(universal y 2.existencial). 3.Disyuncin

4.conjuncin
5.condicional 6.equivalencia

Semntica:
La semntica hace referencia fundamentalmente a la manera en que se asignan valores de verdad a las expresiones del clculo. Las conectivas son las que desempean el papel de funciones de verdad.

Sintaxis:
En lgica, el trmino sintaxis refiere a las reglas que gobiernan la composicin de textos en el lenguaje formal eso constituye frmulas correctamente formados de un sistema lgico.

PROPOSICION
Es toda oracin o enunciado al que se le puede asignar un cierto valor (V o F).
Las proposiciones forman oraciones declarativas. Hay dos clases de proposiciones: Proposiciones simples y compuestas, tambin llamadas atmicas y moleculares respectivamente.

1+4=5

(V)

Andrs Bello descubri Amrica (F) El ao tiene 400 das (F)

*Proposiciones Simples.- Tambin denominadas

atmicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo: El cielo es azul. (verdadero)
*

Proposiciones Compuestas.- Tambin denominadas

moleculares. Son aquellas que estn formadas por dos o ms proposiciones simples unidas por los operadores lgicos.

Ejemplo: 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 regalar un auto.

Las proposiciones compuestas pueden ser:

.Conjuntivas .Disyuntivas .Condicionales .Negativas

Las proposiciones compuestas se forman a partir de dos proposiciones simples, asocindolas con conectivos lgicos, que son expresiones del tipo y, o, Sientonces, etc. Tambin se emplea no, aunque esta ltima no opera de manera estricta sobre dos proposiciones, sino que nicamente interviene en una sola.

CUANTIFICADORES
nombre smbolo Se lee

Cuantificador universal Cuantificador existencial

"x"

para todo x, Todo x Cualquiera x Cada x Existe un x" son: Hay x Existe x, tal que Algn x Algunos x "existe al menos un x

"x"

NEGACIN DE PROPOSICIONES

Las proposiciones universales pueden aparecer negadas,

como en el enunciado: "No todos son mecnicos". En este caso la simbolizacin ser (x)(Mx) donde Mx es la funcin proposicional "x es mecnico" que toma valores dentro del conjunto de referencia formado por los hombres.


Las palabras "ningn", "ninguno", "nada", "nadie"

corresponden tambin a enunciados universales con negaciones, pero de una manera distinta a las proposiciones anteriores. La proposicin "ninguno es mecnico" no equivale a la proposicin "no todos son mecnicos" sino a la expresin "para todo x, x no es mecnico" que se simboliza (x)(Mx).

EJEMPLO:
Las proposiciones anteriores pueden estar negadas,

como por ejemplo "no es cierto que hay fantasmas" la cual se simboliza como (x)(Fx) donde Fx simboliza la expresin "x es un fantasma". Anlogamente a lo que ocurre con los cuantificadores universales, las proposiciones existenciales puede tener negaciones internas como "algo no es mortal" la cual se simboliza como (x) ( Mx) donde Mx simboliza la expresin "x es mortal".

DISYUNCIN
Una disyuncin (inclusiva) es una funcin de verdad que

es verdadera cuando alguno de sus componentes es verdadero, y falsa cuando sus dos componentes son falsos.

Tambin se llama disyuntor a la conectiva que

representa dicha funcin de verdad y cuyo smbolo es v".

PROPOSICIN DISYUNTIVA

Si p y q representan dos proposiciones simples, la

proposicin (p o q), que se simboliza pvq, se llama proposicin disyuntiva de p y q o Disyuncin de p y q.

EJEMPLOS:
P: Juan es estudiante

Q: Margarita es atleta
Pvq: Juan es estudiante o Margarita es atleta

TABLA DE VERDAD
La tabla de verdad para el conectivo lgico de

la disyuncin se da a continuacin:

p
1 1

q
1 0

pvq
1 1

0 0

1 0

1 0

LA DISYUNCION ES UNA CONECTIVA LOGICA QUE ENLAZA DOS ENUNCIADOS DANDO COMO RESULTADO UNA FORMULA QUE SER VERDADERA SOLAMENTE CUANDO AL MENOS UNO DE SUS ENUNCIADOS COMPONENTES ES VERDADEROS, SIENDO FALSA CUANDO AMBOS SON FALSOS.
p V V F F q V F V F Pvq V V V F

Con la disyuncin a diferencia de la conjuncin, representamos dos expresiones y que afirman que una de las dos es verdadera, por lo que basta con que una de ellas sea verdadera para que la expresin p q sea verdadera. As por ejemplo la expresin: el libro se le entregar a Juan o el libro se le entregar a Luis significa que si va uno de los dos, el libro se le entrega, si van los dos tambin se entrega y solamente en caso de que no vaya ninguno de los dos no se debe entregar.

PROPOSICIN NEGATIVA

Si p representa una proposicin, la proposicin compuesta (No p) se escribe >p, y se llama Proposicin Negativa o Negacin de p. La proposicin compuesta Negacin de p toma el valor opuesto de la proposicin simple u original, o sea: si p es verdadera, >p es falsa; y si p es falsa, >p es verdadera.

EJEMPLOS:
P: Luisa est en la clase de lenguaje
>p:

Luisa no est en la clase de lenguaje

Su tabla de verdad se muestra a continuacin:

p 1
>p

PROPOSICIN CONJUNTIVA
Si p y q representan dos proposiciones, la proposicin compuesta (p y q), que se simboliza p^q, se llama proposicin conjuntiva de p y q o Conjuncin de p y q. En la proposicin conjuntiva aceptaremos que la verdad de su conjuncin significa que las dos proposiciones que la componen son verdaderas.

.
En igual forma, aceptaremos que la conjuncin es falsa si lo es cualquiera de sus componentes.
Ejemplo: P: Juan es estudiante Q: Juan es jugador de ftbol p^q: Juan es estudiante y Juan es jugador de ftbol.

CONJUNCION
SIMBOLO NOMBRE Conjuncin lgica o interseccin en una reja. SE LEE y

LA TABLA DE VERDAD PARA UN CONECTIVO LGICO CONJUNCIN SE MUESTRA A CONTINUACIN:

p 1 1 0 0 q 1 0 1 0 p^q 1 0 0 0

OTROS EJEMPLOS DE PROPOSICIONES CONJUNTIVAS:

a) 6 es un nmero par y 6 es un nmero entero positivo (1) b) Venezuela fue la sede de los Juegos Panamericanos de 1983 y Venezuela es un pas Latinoamericano (1) c) 2+5=7 y 2.5=7 (0)

PROPOSICIN CONDICIONAL

Si p y q representan dos proposiciones, (si p entonces q) se llama proposicin Condicional y se simboliza p q, siendo p llamada antecedente y q consecuente.
El valor de verdad de la proposicin condicional depende del valor de verdad de las proposiciones componentes.

EJEMPLOS:
Miguel le dice a una amiga: Si consigo dinero entonces te llevo al cine Hay 4 posibilidades: 1.- Miguel consigue dinero y la lleva al cine. Por lo tanto la proposicin es verdadera 2.- Miguel consigue dinero pero no lleva a su amiga al cine. La proposicin es falsa pues rompi su promesa.

..
3.- Miguel no consigue el dinero pero a pesar de ello lleva a su amiga al cine. La proposicin es verdadera, pues no rompe su promesa.

4.-Miguel no consigue dinero y no lleva a su amiga al cine (no rompi su promesa). La proposicin es verdadera

TABLA DE VERDAD
p q Pq

1 1 0 0

1 0 1 0

1 0 1 1

PROPOSICIN EQUIVALENTE

Las proposiciones que tienen el mismo valor de verdad, se llaman proposiciones equivalentes, y se emplea el smbolo = para indicar la relacin de equivalencia entre proposiciones.

Esto es, p=q, q=r, r=s o bien: p=q=r=s.

EJEMPLO:
La madre enojada con su hijo, le grita: Haces bien la tarea o te quedas en casa. Realmente lo que quiere decir es: Si no haces la tarea, entonces te quedaras en casa. Si no haces la tarea, te quedars en casa: pq O haces la tarea o te quedaras en casa: (>p) v q

Esto es: pq = (>p) v q

TABLA DE VERDAD

p 1 1 0 0

q 1 0 1 0

>p

Pq
1 0

0 0

1 1

1 1

(>p)vq 1 0 1 1

..
Una definicin tcnica sobre el concepto de proposiciones equivalentes es la siguiente: Dos proposiciones p y q son equivalentes cuando sus respectivas tablas de verdad coincidan.

PROPOSICIN BICONDICIONAL
Si p y q representan dos proposiciones, la proposicin compuesta (p si y slo si q) se llama Bicondicional de p y q, es usual abreviarlo sii, y simbolizarlo por p q. Est proposicin es una de las ms importantes, ella establece equivalencia entre proposiciones que la componen y se usa en cualquier definicin matemtica.

TABLA DE VERDAD Y EJEMPLOS

p 1 1 0 0 q 1 0 1 0 P > q 1 0 0 1

..
1.- 12 es divisible por 6, s y solo s 6 es par (1) 2.- 32=9 s y solo s 2+3=6 (0)

ROPOSICION

EXPRESION
"x" "x" c^f v p=q

EJEMPLO
Todo hombre es mortal Algn maestro me puede reprobar Me gusta correr y jugar futbol Salgo a pasear o me quedo a estudiar Si no haces la tarea, te quedars en casa. O haces la tarea o te quedars en casa p= Luisa est en clase de lenguaje >p= Luisa no est en clase de lenguaje

uantificador niversal

uantificador xistencial

onjuncin

isyuncin

quivalencia

egacin

>p