Las proposiciones

CONTENIDO

INTRODUCCION

OBJETIVOS

TALLER

CONCLUSION

BIBLIOGRAFIA

INTRODUCCION

En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir,como funciones que toman conjuntos de valores de verdad y devuelven valores de verdad. Por ejemplo, la conectiva lógica no es una función que si toma el valor de verdad V, devuelve F, y si toma elvalor de verdad F, devuelve V. Por lo tanto, si se aplica la función no a una letra que represente una proposición falsa, el resultado será algo verdadero. Si es falso que «está lloviendo», entonces seráverdadero que «no está lloviendo».
El significado de las conectivas lógicas no es nada más que su comportamiento como funciones de verdad. Cada conectiva lógica se distingue de las otras por losvalores de verdad que devuelve frente a las distintas combinaciones de valores de verdad que puede recibir. Esto quiere decir que el significado de cada conectiva lógica puede ilustrarse mediante unatabla que despliegue los valores de verdad que la función devuelve frente a todas las combinaciones posibles de valores de verdad que puede recibir.
Es por eso que en este trabajo queremos desarrollaralgunos ejercicios para hallarles los valores de verdad a las proposiciones dadas, además definir los diagramas de verdad dando ejemplos.

OBJETIVOS

• Expresar en forma oracional la proposiciónmencionada.

• Simbolizar proposiciones compuestas.

• Hallar el valor de verdad de las proposiciones dadas.

TALLER
1. Siendo p= llueve, q= hace frio y r= me enfermo; exprese en formaoracional:
a) pq
b) pq
c) qr
d) pr
e) (pq)r

RESPUESTA
a) p  q = Llueve y hace frio
b)  p  q = No llueve y no hace frio
c) q  r = Si hace frio entonces me enfermo

d) p   r = Sillueve entonces no me enfermo

e) (p  q)  r = Si y solo si llueve y hace frio me enfermo

1. Simbolice las siguientes proposiciones compuesta:
a) No todos los políticos son corruptos.
b) Si...