PROPOSICIONES Y SU CLASIFICACIN

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 LOGICOS:
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

Cada proposicin tiene una forma lgica la cual se expresa con un nombre o variable
preposicional. 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.
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 LOGICOS:
Los conectores son las contrapartidas formales de las conjunciones gramaticales,
mediante las cuales formamos de enunciados simples, otros llamados compuestos.
y

se representa

se representa

Sientonces

se representa

si y slo si

se representa

No, ni

d)

se representa.

, ~

PROPOSICIONES COMPUESTAS:

Una proposicin compuesta es un enunciado de verdad que esta 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.

y
Los conectores o trminos de enlace

o
, , Si entonces, Si y solo si; se usan

para ligar dos proposiciones, el termino

no

se agrega a una sola proposicin.

Ejemplos:
p : Hoy es da mircoles.
q : Hay clase de lgica matemtica.
Estas proposiciones son simples, y con ellas de puede 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

pq

En notacin lgica:
b.

Hoy es da mircoles o hay clase de lgica matemtica.

Y se presenta simblicamente as: p o q

pq

En notacin lgica:
c.

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

Y se presenta simblicamente as: Si p entonces q

pq

En notacin lgica:
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

pq

En notacin lgica:
e.

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

Y se presenta simblicamente as: no p, ni q

p q

En notacin lgica:

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)
b)

Cuando hace calor Yohan no sale y adems estudia, haga fri o calor.
Yohan solo estudia cuando hace fri y no sale.

Se podra representar:
p :

Hace fri.

q :

p q r

Yohan sale.

r :

Yohan estudia.

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

Entonces aplicando los signos de agrupacin debemos decidir como traducirla:

p q r

p q r

a)

b)

SIGNOS DE AGRUPACION:

Parntesis

Corchetes

Llaves

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
formulas o proposiciones atmicas.

VALORES DE VERDAD DE UNA PROPOSCIN

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
Si Son 3 Proposiciones
P Q
P Q R
V V
V V V
V F
V V F
F V
V F V
F F
V F F
F V V
F V F
F F V
F F F
Si observamos, de acuerdo con el nmero de proposiciones simples, que conformen

2
n

una proporcin compuesta, obedece a la sucesin

2 2 2
n

Si es una proposicin

, quiere decir que tiene 2 valores de verdad.

2
n

Si una proposicin compuesta, tiene 2 proposiciones simples, tendramos que

2 4

; es decir, cada proposicin puede tener cuatro valores de verdad.

2
n

Si una proposicin compuesta, tiene 3 proposiciones simples, tendramos que

2 8

; es decir, cada proposicin puede tener ocho valores de verdad. Y as

sucesivamente.