Está en la página 1de 6

Lógica proposicional

Lógica

es el estudio del razonamiento, que se refiere específicamente a si el razonamiento

es correcto. La lógica se centra en la relación entre las afirmaciones y no en el contenido de

una afirmación en particular. Una proposición es una unidad semántica que, o solo es verdadero, o solo es falsa, pero no ambas cosas

Ejemplos:

El día de hoy está bonito.

Está lloviendo.

17+5=20

Nota: Los enunciados que expresen admiración, duda, interrogación, suspenso, etc., no son proposiciones.

¿Me invitas a bailar?

¡Qué hermoso paisaje!

¿Cómo estás?

Tipos de proposiciones Existen 2 tipos de proposiciones: Atómicas y Moleculares o Compuestas Proposiciones Atómicas. Son aquellas que contienen una sola proposición. Ejemplos:

Rosa baila.

Esto es una casa.

Juan canta.

5 es un número par.

Quito es la capital del Ecuador.

Proposiciones moleculares o compuestas. Son aquellas que contienen más de una proposición

Ejemplos:

María trabaja y Rosa estudia.

Juan y Luisa son hermanos de Pedro.

Amparo es inteligente y es la hermana de Carlos.

Esmeraldas y Guayas son provincias del Ecuador.

Lógica Proposicional

Es la parte de la lógica formal cuyo nivel último de análisis son aquellas proposiciones que

no pueden descomponerse en otras. A diferencia de la lógica cuantificacional o de predicados, no atiende a la estructura interna de las proposiciones simples. Se trata de la

rama de la lógica más simple y básica. La lógica proposicional es la más antigua y simple de las formas de lógica. Utilizando una representación primitiva del lenguaje, permite representar y manipular aserciones sobre el mundo que nos rodea. La lógica proposicional permite el razonamiento, a través de un mecanismo que primero evalúa sentencias simples y luego sentencias complejas, formadas mediante el uso de conectivos proposicionales, por ejemplo Y (AND), O (OR). Este mecanismo determina la veracidad de una sentencia compleja, analizando los valores de veracidad asignados a las sentencias simples que la conforman.

Lenguaje formal

Consiste en abreviar o simbolizar las oraciones o juicios, que en la lógica matemática se llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra, que llamamos variable, y la simbolizamos con las letras minúsculas del alfabeto que van de la p hasta el final del abecedario.

Si digo por ejemplo: «Antonio ama a Piedad», esta proposición queda simbolizada en el lenguaje formal mediante la variable p o q, o r, o s Además de estas variables, la lógica proposicional utiliza otros símbolos, llamados constantes, cuyo significado siempre es el mismo, ya que modifican o unen a las variables. Estos símbolos constantes se llaman funtores, juntores, conectivas u operadores lógicos.

Conectivas lógicas

A continuación hay una tabla que despliega todas las conectivas lógicas que ocupan a la lógica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los símbolos que se utilizan para representarlas.

En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir, como

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 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». 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 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.

En la lógica proposicional, las conectivas lógicas son tratados como funciones de verdad. Es decir, como

Tablas de verdad

Una tabla de verdad es una representación de los posibles valores de verdad que podrá tomar una proposición. Estas tablas sirven para mostrar los valores, las relaciones y los resultados posibles al realizar operaciones lógicas.

*ConjunciónLa conjunción es verdadera sólo cuando ambas variables lo son y es falsa en los demás casos. * DisyunciónLa disyunción es verdadera en todos los casos menos cuando ambas son falsas. * CondicionalEl condicional es verdadero en todos los caso menos cuando la primera proposición es verdadera y la segunda es falsa. * BicondiconalEl bicondicional es verdadero cuando ambos son verdaderos o cuando ambos son falsos, y es falso en los demás casos. *NegaciónLa negación ~ que se lee ~p, cambia el valor de la variable que se niega: sólo es verdadera si es falsa y es falsa si es verdadera.

Límites de la lógica proposicionalLa maquinaria de 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 puede ser probada por la lógica proposicional. 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 conectvias «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

Ejemplos de simbolización de oraciones, del lenguaje natural al lenguaje formal:

a) Conjunción

[p ^ q]

p

._

Está lloviendo.

q

._

Hace frío.

Está lloviendo y hace frío.

b)

Disyunción

[p v q]

p

._

Juan estudia.

q

._

Sale a jugar.

Juan estudia o sale a jugar.

c)

Condicional

[p → q] p ._ Si estudio. Saldré bien en el examen.

q

._

Si estudio entonces saldré bien en el examen.

d)

Bicondiconal

[p q] ._ p Aprobaré las materias. Tengo buenas calificaciones.

q

._

Aprobaré las materias si y sólo si tengo buenas calificaciones.

e)

Negación

~p

p

._

Machala es la capital del Ecuador.

Machala no es la capital del Ecuador.

Función Proposicional

A los enunciados abiertos que contienen

proposicional, que tienen la por una constante específica.

Función Proposicional A los enunciados abiertos que contienen proposicional , que tienen la por una constante

variables

algebraicas se les denomina

función

propiedad de convertirse en proposiciones, al sustituirse la variable

Ejemplo:

 

El enunciado abierto

x2 + 1 = 5

Es una

función

proposicional, el cual se convierte en proposición cuando:

i. Para x = -3 (por ejemplo), se convierte en la proposición

(-3)2 + 1 = 5……………………… (F)

 

el cual tiene

valor

de verdad

Falsa

ii. Para x = 2, entonces, será la proposición

(2)2 + 1 = 5 ……………………… (V)

el cual tiene valor de verdad

Verdadera