Documente Academic
Documente Profesional
Documente Cultură
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)
atmicas. Son aquellas proposiciones que no se pueden dividir. Ejemplo: El cielo es azul. (verdadero)
*
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
"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
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.
PROPOSICIN DISYUNTIVA
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:
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
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.
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
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.
..
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