LAS PROPOSICIONES

PROPOSICIONES
Las proposiciones constituyen los elementos de inferencia, es decir, son parte de todo
proceso de razonamiento lgico, por eso es preciso estudiar todo lo concerniente a
ellas. Consideremos en primer lugar, que a toda expresin u oracin del lenguaje se le
denomina enunciado
LGICA PROPOSICIONAL
Es un sistema lgico que trata la clase de argumentos cuya validez exclusivamente
dependen de cmo estn conectados los enunciados.
PROPOSICIONES Y CONECTORES LGICOS:
Una proposicin o enunciado es una oracin diofntica (bivalente) que puede ser V o
F, pero no puede tener estos dos valores de verdad al tiempo.
La proposicin es un elemento fundamental de la lgica preposicional ya que cada
proposicin tiene una forma lgica la cual se expresa con un nombre o variable
preposicional y se distinguen cuatro tipos de proposiciones:

Enunciados Abiertos
Enunciados Cerrados
Proposiciones Simples
Proposiciones Compuestas

a) ENUNCIADOS ABIERTOS:
Un enunciado abierto es una oracin donde el sujeto de la accin no se identifica
claramente.
Ejemplo:
X es un nmero par y primo
Y es un da de la semana.
Nota: Un enunciado abierto que involucra una igualdad y en la que se desconocen
uno o varios de sus trminos se llama ECUACIN.

b) ENUNCIADOS CERRADOS:
Es un enunciado que puede ser VERADERO o FALSO, cuando identificamos
claramente el sujeto que realiza la accin. Un enunciado abierto, puede convertirse en
un enunciado cerrado, verdadero o falso, al sustituir el trmino variable por un trmino
constante elegido de un conjunto referencial.

Ejemplo:
2 es un nmero par y primo (Verdadero)
7 es un nmero par y primo (Falso)
Carlos es un da de la semana (Falso)
Jueves es un da de la semana (Verdadero)

c) PROPOSICIONES SIMPLES: Una proposicin se considera simple si en ella no

intervienen conectores lgicos o trminos de enlace. Las proposiciones simples se
representan mediante las letras del alfabeto espaol p, q, r, s, t, usadas comnmente.
A las cuales se les denomina como variables proposicionales.
Ejemplo:
p: Camila estudia Medicina
q: Laura estudia Comunicacin Social
ENLACES LGICOS:
Los conectores son las contrapartidas formales de las conjunciones gramaticales,
mediante las cuales formamos de enunciados simples, otros llamados compuestos.
y se representa
o se representa

Sientonces se representa

si y slo si se representa
No, ni se representa.

, ~

d) PROPOSICIONES COMPUESTAS:
Una proposicin compuesta es un enunciado de verdad que est compuesto por dos o
ms proposiciones simples, unidas mediante conectores lgicos, formando una nueva
oracin.
Una proposicin se considera compuesta o molecular si se juntan dos o ms
proposiciones simples con trminos de enlace o conectores.
Los conectores o trminos de enlace , , Si entonces, Si y solo si; se usan
para ligar dos proposiciones, el trmino se agrega a una sola proposicin. no
Ejemplos:
p: Hoy es da mircoles.

q: Hay clase de lgica matemtica.

Estas proposiciones son simples, y con ellas se pueden formar o construir
proposiciones compuestas.
Como:
a. Hoy es da mircoles y hay clase de lgica matemtica.
Y se presenta simblicamente as: p y q
En notacin lgica: q p
b. Hoy es da mircoles o hay clase de lgica matemtica.
Y se presenta simblicamente as: p o q
En notacin lgica: q p

c. Si hoy es da mircoles entonces hay clase de lgica matemtica.

Y se presenta simblicamente as: Si p entonces q
En notacin lgica: q

d. Hoy es da mircoles si y slo si hay clase de lgica matemtica.

Y se presenta simblicamente as: p si y slo si q
En notacin lgica: q

e. Hoy no es da mircoles, ni hay clase de lgica matemtica.

Y se presenta simblicamente as: no p, ni q
En notacin lgica: - p - q
En algunos casos se puede presentar ambigedades en proposiciones compuestas.
Veamos un ejemplo:
Si hace calor, entonces Yohan no sale y toca el piano.
Es fcil observar que lo podemos interpretar de dos maneras el enunciado molecular.
a) Cuando hace calor Yohan no sale y adems estudia, haga fro o calor.
b) Yohan solo estudia cuando hace fro y no sale.
Se podra representar:
p: Hace fro. q: Yohan sale. r: Yohan estudia.
En Smbolos: p

Pero se presentara una ambigedad, como en el lenguaje natural.

Entonces aplicando los signos de agrupacin debemos decidir cmo traducirla:

a)

SIGNOS DE AGRUPACION:

Con estos elementos del vocabulario, variables, conectivos y signos de agrupacin se

puede presentar la sintaxis de la lgica, podemos explicitar las reglas sintcticas
mediante las cuales podemos formar proposiciones moleculares a partir de otras
frmulas o proposiciones atmicas.
VALORES DE VERDAD DE UNA PROPOSICIN
Una proporcin puede tener un solo valor de verdad, as este conformando una
proposicin compuesta.
Pueden suceder las siguientes probabilidades de acuerdo a cada opcin de trabajo:
Si es una proporcin simple:
P
F
V
Si

son

proposiciones

compuestas,

depende del nmero de proposiciones

compuestas:
Si son 2 proposiciones
proposiciones

Si Son 3