REPÚBLICA BOLIVARIANA DE VENEZUELA

MINISTERIO DEL PODER POPULAR PARA LA EDUCACIÓN UNIVERSITARIA

UNIVERSIDAD NACIONAL EXPERIMENTAL

“RAFAEL MARÍA BARALT”

Asignatura: Lógica matemática

Lógica
proposicional
Autores:

Hernández Yolcaris C.I 27251608

Ana Belén Brizuela C.I 25767002

Educación mención integral

Segundo semestre
 La lógica

La lógica es una rama de la filosofía de carácter interdisciplinario, entendida como

la ciencia formal que estudia los principios de la demostración y
la inferencia válida, las falacias, las paradojas y la noción de verdad.

La lógica se divide en varias categorías según su campo de estudio. La lógica

filosófica estudia el concepto y la definición, la enunciación o proposición y
la argumentación utilizando los métodos y resultados de la lógica moderna para el
estudio de problemas filosóficos. La lógica matemática estudia la inferencia
mediante sistemas formales como la lógica proposicional, la lógica de primer
orden y la lógica modal. La lógica informal se enfoca en el desarrollo lingüístico de
los razonamientos y sus falacias. La lógica computacional es la aplicación de la
lógica matemática a las ciencias de la computación.

Lógica proposicional

La lógica proposicional o lógica de orden cero, es una rama de la lógica

matemática que estudia las proposiciones, afirmaciones u oraciones, vinculadas
mediante conectores lógicos.

Las lógicas proposicionales se pueden interpretar como proposiciones con un

valor de verdad definido. Cualquier secuencia de signos que constituya una
fórmula bien formada admite una valoración en la proposición es verdadera o falsa
dependiendo del valor de verdad asignado.

Las proposiciones pueden ser verdaderas o falsas, si las transformamos en

preguntas las podemos responder con un SI o un NO.

Los contantes lógicos, llamados conectivas lógicas representan operaciones sobre

proposiciones, capaces de formar otras proposiciones de más complejidad; Es una
herramienta útil para razonar, pero no puede resolver problemas que requieran
analizar la estructura interna de las proposiciones o de las relaciones.
Un ejemplo de proposiciones es:

1. Hoy esta soleado o esta nublado.

2. Hoy no está nublado.

3. Por lo tanto, hoy esta soleado.

Las expresiones no,o y por lo tanto, de ellas dependen la validez del argumento,
se le denominan conectivas lógicas; y las expresiones como esta nublado o esta
soleado se cambian por letras del alfabeto comenzando desde la p (de
proposición) y luego q, r, s entre otras. De esta manera nos permite simplificar el
argumento, y se copia la fórmula que se crea.

En este caso la fórmula del ejemplo anterior seria:

1. p o q

2. no q

3. por lo tanto, p

Por medio de la lógica proposicional se hace posible el validar o no todas

las afirmaciones que se hacen en las diferentes ramas del conocimiento o en el
campo de las matemáticas. Con ella, se puede estudiar y entender todas
las estructuras que forman parte de la lógica y la manera en que logran validar o
no las diferentes proposiciones en el campo de las ciencias. Hace posible que se
puedan estudiar y analizar las relaciones y las propiedades de los objetos para
luego compararlas entre sí.

Conectivas lógicas

Se tratan como funciones de verdad, toman conjuntos de valores de verdad y

devuelven valores de verdad.La conectiva lógica no es una función que si toma el
valor de verdad V, devuelve F, y si toma el valor 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.

Tabla de las diferentes conectivas lógicas

El significado de 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 los
valores 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 una tabla que despliegue los valores de verdad
que la función devuelve frente a todas las combinaciones posibles de valores de
verdad que puede recibir.

La lógica proposicional permite formalizar y teorizar sobre la validez de una gran

cantidad de argumentos. Sin embargo, también existen argumentos que son
intuitivamente válidos, pero cuya validez no se puede probar por la lógica
proposicional, lo que nos lleva a entender que esta tiene ciertos límites.

Por ejemplo, considérese el siguiente argumento:

1. Todos los hombres son mortales.

2. Sócrates es un hombre.
3. Por lo tanto, Sócrates es mortal.

Como este argumento no contiene ninguna de las conectivas no,y,o, etc., según
la lógica proposicional, su formalización será la siguiente:

1. p
2. q
3. Por lo tanto, r

Pero esta es una forma de argumento inválida, y eso contradice nuestra intuición
de que el argumento es válido. Para teorizar sobre la validez de este tipo de
argumentos, se necesita investigar la estructura interna de las variables
proposicionales. De esto se ocupa la lógica de primer orden. Otros sistemas
formales permiten teorizar sobre otros tipos de argumentos. Por ejemplo la lógica
de segundo orden, la lógica modal y la lógica temporal.

La lógica proposicional presenta dos sistemas formales. El primero es un sistema

axiomático simple, y el segundo es un sistema sin axiomas, de deducción natural.

Características

Entre sus principales características se mencionan las siguientes:

 Es también conocida con el nombre de lógica de enunciados y lógica de las

funciones de verdad.
  Se considera como la rama más antigua de la lógica matemática.
 Estudia los diferentes métodos de relaciones que se presentan entre los
conectores lógicos y los enlaces.
 Es una ciencia que admite el razonamiento por medio de un instrumento
que se encarga de evaluar primeramente los problemas simples y luego los
más complejos.
 Se considera como un tipo de lenguaje simbólico que estudian los
razonamientos del lenguaje natural.
 Cuenta con un alfabeto, una sintaxis y una semántica
 Solamente traduce el mensaje simbólico que se encuentra en las oraciones
con un lenguaje natural y en un sentido completo.
 Los enunciados que forman parte de la lógica proposicional deberán
ser verdaderos o falsos.

Las principales reglas que pueden ser aplicadas a la lógica proposicional se

mencionan a continuación:

 Ley de doble negación

 Leyes de idempotencia
 Leyes asociativas
 Leyes conmutativas
 Leyes distributivas
 Leyes de Morgan