Lgica proposicional

Lgica es el estudio del razonamiento, que se refiere especficamente a si el razonamiento

es correcto. La lgica se centra en la relacin entre las afirmaciones y no en el contenido de
una afirmacin en particular. Una proposicin es una unidad semntica que, o solo es
verdadero, o solo es falsa, pero no ambas cosas
Ejemplos:

El da de hoy est bonito.

Est lloviendo.

17+5=20
Nota: Los enunciados que expresen admiracin, duda, interrogacin, suspenso, etc., no son
proposiciones.

Me invitas a bailar?

Qu hermoso paisaje!

Cmo ests?
Tipos de proposiciones
Existen 2 tipos de proposiciones: Atmicas y Moleculares o Compuestas
Proposiciones Atmicas. Son aquellas que contienen una sola proposicin.
Ejemplos:

Rosa baila.

Esto es una casa.

Juan canta.

5 es un nmero par.

Quito es la capital del Ecuador.

Proposiciones moleculares o compuestas. Son aquellas que contienen ms de una
proposicin
Ejemplos:

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

Lgica Proposicional
Es la parte de la lgica formal cuyo nivel ltimo de anlisis son aquellas proposiciones que
no pueden descomponerse en otras. A diferencia de la lgica cuantificacional o de
predicados, no atiende a la estructura interna de las proposiciones simples. Se trata de la
rama de la lgica ms simple y bsica.
La lgica proposicional es la ms antigua y simple de las formas de lgica. Utilizando una
representacin primitiva del lenguaje, permite representar y manipular aserciones sobre el
mundo que nos rodea. La lgica proposicional permite el razonamiento, a travs de un
mecanismo que primero evala 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 lgica matemtica se
llaman proposiciones. Estas proposiciones se reducen en el lenguaje formal a una sola letra,
que llamamos variable, y la simbolizamos con las letras minsculas del alfabeto que van de
la p hasta el final del abecedario.
Si digo por ejemplo: Antonio ama a Piedad, esta proposicin queda simbolizada en el
lenguaje formal mediante la variable p o q, o r, o s Adems de estas variables, la lgica
proposicional utiliza otros smbolos, llamados constantes, cuyo significado siempre es el
mismo, ya que modifican o unen a las variables. Estos smbolos constantes se llaman
funtores, juntores, conectivas u operadores lgicos.

Conectivas lgicas
A continuacin hay una tabla que despliega todas las conectivas lgicas que ocupan a la
lgica proposicional, incluyendo ejemplos de su uso en el lenguaje natural y los smbolos
que se utilizan para representarlas.

En la lgica proposicional, las conectivas lgicas 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 lgica no es una funcin 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
funcin no a una letra que represente una proposicin falsa, el resultado ser algo
verdadero. Si es falso que est lloviendo, entonces ser verdadero que no est
lloviendo.
El significado de las conectivas lgicas no es nada ms que su comportamiento como
funciones de verdad. Cada conectiva lgica 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 lgica puede ilustrarse
mediante una tabla que despliegue los valores de verdad que la funcin devuelve frente a
todas las combinaciones posibles de valores de verdad que puede recibir.

Tablas de verdad
Una tabla de verdad es una representacin de los posibles valores de verdad que podr
tomar una proposicin. Estas tablas sirven para mostrar los valores, las relaciones y los
resultados posibles al realizar operaciones lgicas.
*ConjuncinLa conjuncin es verdadera slo cuando ambas variables lo son y es falsa en
los dems casos.
* DisyuncinLa disyuncin es verdadera en todos los casos menos cuando ambas son
falsas.
* CondicionalEl condicional es verdadero en todos los caso menos cuando la primera
proposicin 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 dems casos.
*NegacinLa negacin ~ que se lee ~p, cambia el valor de la variable que se niega: slo es
verdadera si es falsa y es falsa si es verdadera.

Lmites de la lgica proposicionalLa maquinaria de la lgica proposicional permite

formalizar y teorizar sobre la validez de una gran cantidad de argumentos. Sin embargo,
tambin existen argumentos que son intuitivamente vlidos, pero cuya validez no puede ser
probada por la lgica proposicional. Por ejemplo, considrese el siguiente argumento:
1.

Todos los hombres son mortales.

2.

Scrates es un hombre.

3.

Por lo tanto, Scrates es mortal.

Como este argumento no contiene ninguna de las conectvias no, y, o, etc., segn la
lgica proposicional, su formalizacin ser la siguiente:

1.

2.

3.

Por lo tanto, r
Pero esta es una forma de argumento invlida, y eso contradice nuestra intuicin de que el
argumento es vlido. Para teorizar sobre la validez de este tipo de argumentos, se necesita
investigar la estructura interna de las variables proposicionales
Ejemplos de simbolizacin de oraciones, del lenguaje natural al lenguaje formal:
a) Conjuncin
[p ^ q]

p._ Est lloviendo.

q._ Hace fro.

Est lloviendo y hace fro.

b) Disyuncin
[p v q]
p._ Juan estudia.
q._ Sale a jugar.

Juan estudia o sale a jugar.

c) Condicional
[p q]
p._ Si estudio.
q._ Saldr bien en el examen.

Si estudio entonces saldr bien en el examen.

d) Bicondiconal
[p q]
p._ Aprobar las materias.
q._ Tengo buenas calificaciones.

Aprobar las materias si y slo si tengo buenas calificaciones.

e) Negacin
~p
p._ Machala es la capital del Ecuador.

Machala no es la capital del Ecuador.

Funcin Proposicional
A los enunciados abiertos que contienen variables algebraicas se les denomina funcin
proposicional, que tienen la propiedad de convertirse en proposiciones, al sustituirse la variable
por una constante especfica.
Ejemplo:
El enunciado abierto
x2 + 1 = 5
Es una funcin proposicional, el cual se convierte en proposicin cuando:

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

(-3)2 + 1 = 5 (F)
el cual tiene valor de verdad Falsa

ii. Para x = 2, entonces, ser la proposicin

(2)2 + 1 = 5 (V)
el cual tiene valor de verdad Verdadera