LGICA PROPOSICIONAL

Qu es una proposicin?

Es toda oracin o enunciado al que se le puede asignar un cierto valor (verdadero

o falso). Si no puede concluir que es verdadero o falso no es proposicin.
La verdad o falsedad de una proposicin es lo que se llama valor de verdad.
Las proposiciones se denotan con letras minsculas. Ejemplo: p, q, r, s, t.
Ejemplo:
Hoy es lunes.
(simple)
Hablo y no hablo.
(No es proposicin)
Viene o no viene.
(No es proposicin)
Carlos Ros es un escritor.
(Simple)
El 14 y el 7 son factores del 42.
(Simple)
El 14 es factor del 42 y el 7 tambin es factor del 42.
(Compuesta)
El 2 o el 3 son divisores de 48.
(Simple)
El 2 es divisor de 48 o el 3 es divisor de 48.
(Compuesta)
Si x es nmero primo, entonces x impar.
(Compuesta)
Si x > 10, entonces 2x - 3 > 16.
(Compuesta)
No todos los nmeros primos son impares.
(Compuesta)

Valor de verdad
Llamaremos valor de verdad de una proposicin a su veracidad o falsedad. El
valor de verdad de una proposicin verdadera es verdad y el de una
proposicin falsa es falso.

Clases de proposiciones
Existen dos clases de proposiciones:

PROPOSICIONES SIMPLES:Tambin denominadas proposiciones atmicas. Son

aquellas proposiciones que constan de una sola proposicin.
Ejemplos:
El cielo es azul.
PROPOSICIONES COMPUESTAS:Tambin denominadas moleculares. Son
aquellas que estn formadas por dos o ms proposiciones simples unidas por los
operadores lgicos.
Ejemplos:
Fui al banco, pero el banco estaba cerrado.
Los lectores de este libro son jvenes o universitarios.
Si el mircoles prximo me saco la lotera entonces te regalare un auto.

Conectivos lgicos
Los conectivos lgicos son aquellas letras o palabras que unen o enlazan dos o
ms proposiciones, Estos conectivos lgicos se dan en las proposiciones
compuestas.

Conectiva

Negacin

Expresin en el

Ejemplo

lenguaje natural

no

No est lloviendo.

Conjuncin

Est lloviendo y est nublado.

Disyuncin inclusiva

Est lloviendo o est soleado.

Condicional

Bicondicional

Negacin conjunta

Disyuncin
excluyente

si... entonces

si y slo si

Si est soleado, entonces es de da.

Est nublado si y slo si hay nubes

visibles.

ni... ni

Ni est soleado ni est nublado.

o...... o..

O est soleado, o est nublado.

Ejemplos de proposiciones compuestas

1.
El equipo azul jug muy bien pero el equipo verde fue un desastre.
2.
Rosita compr paletas y Mara se las quit.
3.
A Juanita le gusta la comida que guisa su abuelita.

Smbolo

4.
5.
6.
7.
8.

Patricia asisti a la junta a la que convoc el Ingeniero Robles.

Karla tiene el cabello rojo, su hermana lo tiene negro.
Martha se divorci, su esposo ya se volvi a casar.
Yo quiero tener tres hijos pero mi esposo quiere tener dos.
Catalina es profesora de ingls y su esposo es Msico.

Tablas de Verdad
Definimos una tabla de verdad como un arreglo que nos permite tener los
posibles valores de verdad de una proposicin compuesta a partir de los valores
de verdad de las proposiciones simples.
Las tablas de verdad para los conectivos lgicos listados arriba son las siguientes:

Negacin
La negacin de una proposicin es una nueva proposicin que tiene un valor de
verdad opuesto a la proposicin original. Es decir, si el valor de verdad de una
proposicin p es verdadero, entonces el valor de verdad de ~p es falso.
p

~p

Conjuncin
La conjuncin es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo.
Esta proposicin compuesta de denota por
y se lee p y q.
La tabla de verdad para el conectivo est dada por
p

Disyuncin
La disyuncin es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo .

Esta proposicin compuesta de denota por

y se lee p o q.
La tabla de verdad para el conectivo est dada por
p

Se puede ver que para que una proposicin compuesta

tenga valor de
verdad verdadero, basta con una de las proposiciones simples tenga valor de
verdad verdadero.

Condicional
La condicional es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo .
Esta proposicin compuesta de denota por
y se lee p implica q.
En esta proposicin compuesta, la proposicin simple p se llama antecedente,
mientras que la proposicin simple q se llama consecuente.
La tabla de verdad para el conectivo
est dada por
p

Se puede ver que una proposicin compuesta

tiene valor de verdad falso
solamente cuando el antecedente es verdadero y el consecuente es falso. En
cualquier otro caso, el valor de verdad de la proposicin compuesta es verdadero.

Bicondicional
La bicondicional es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo .
Esta proposicin compuesta se denota por
y se lee p si y solo si q.

La tabla de verdad para el conectivo

est dada por

Se puede ver que la proposicin compuesta

tiene valor de verdad
verdadero siempre que las proposiciones simples tienen el mismo valor de verdad.
Es cualquier otro caso, la proposicin compuesta tiene valor de verdad falso.

Disyuncin excluyente
La disyuncin excluyente es la proposicin compuesta que resulta de conectar dos
proposiciones, p y q, mediante el conectivo
Esta proposicin compuesta se denota por p q y se lee o p. o.q.
La tabla de verdad para el conectivop q est dado por.
p

Se puede ver que la proposicin compuesta p qtiene valor de verdad verdadero

siempre que las proposiciones simples tienen diferente valor de verdad. Es
cualquier otro caso, la proposicin compuesta tiene valor de verdad falso.

Tener en cuenta que

Las proposiciones compuestas pueden combinarse o conectarse para formar
proposiciones an ms complejas.

Para hacer la tabla de verdad de una proposicin le asignamos una columna a

cada proposicin que interviene, sea sta simple o compuesta, normalmente
comenzando con las ms simples y progresando en el orden de complejidad de
las proposiciones componentes.
El nmero de filas de la tabla viene dado por la potencia
, donde es el nmero
de proposiciones en la forma ms simple que forman la proposicin compuesta
dada.
Para asignar los valores de verdad a dichas proposiciones simples, se procede de
la forma siguiente:

la primera columna se llena asignando valores V a la mitas de las filas y

valores F a la mitad siguiente.

la segunda columna se llena asignando valores V a un cuarto de las filas,

valores F al segundo cuarto, valores V al tercer cuarto y valores F al ltimo
cuarto de filas de esa columna.

la tercera columna se llena asignando valores V a un octavo de las filas,

valores F al segundo octavo, valores V al tercer octavo, etc.
As, se contina hasta que terminen las columnas de las proposiciones simples.