1.

2 CALCULO PROPOSICIONAL
1.2.1 Simbolizacin de proposiciones. Cada proposicin tiene una forma
lgica a la cual se le d un nombre. Se distinguen dos tipos de proposiciones:
simples y compuestas. Una proposicin se denomina simple cuando en ella no
interviene ninguna conectiva lgica o trmino de enlace (y, o, no,
si...entonces..., si y slo si). Si se juntan una o varias proposiciones simples
con un trmino de enlace, se forma una proposicin compuesta.
Los trminos de enlace, "y", "o", "si... entonces...", "si y slo si"; se usan
para ligar dos proposiciones, en cambio el trmino de enlace "no" se agrega a
una sola proposicin.
Ejemplo:
Hoy es jueves
Hay clases de matemticas
Ambas proposiciones son simples. Con estas proposiciones se pueden
construir proposiciones compuestas tales como:
Hoy es jueves y hay clases de matemticas.
Hoy es jueves o hay clases de matemticas.
Si hoy es jueves entonces hay clases de matemticas.
Hoy no es jueves.
La forma de las proposiciones compuestas depende del trmino de enlace
utilizado, y no del contenido de la proposicin o proposiciones simples. Es
decir, si en una proposicin compuesta se sustituyen las proposiciones
simples por otras proposiciones simples cualesquiera, la forma de la
proposicin compuesta se conserva.
Ejemplo:
Hoy es jueves y hay clase de matemticas.
y
Esta sera la forma de la proposicin. En los cuadros pueden colocarse las
proposiciones dadas u otras proposiciones. Para representar las proposiciones
se utilizan letra latinas maysculas tales como P, Q, R, etc. Por ejemplo, sea:
P: Hoy es jueves.
Q: Hay clase de matemticas.
Luego la proposicin:
Hoy es jueves y hay clase de matemticas.
se simboliza as:
P y Q
En el lenguaje corriente se utiliza tambin la palabra "pero" o una "," en vez
del trmino de enlace "y".
Ejemplo:
Fu a la feria, pero no hice compra alguna.
Ins est enferma, el martes ir a visitarla.
En el siguiente ejemplo se usa el trmino de enlace "o".
Es tarde o est muy oscuro.
Otro giro de "o" es:
O es tarde o est muy oscuro.
En este ltimo caso las dos "o" son parte del mismo trmino de enlace y la
forma de la proposicin es:
o
Cuando se usa el trmino de enlace: si,...entonces.... se obtiene la siguiente
forma:
Si entonces
Si R entonces S
Ejemplo:
Si madrugo entonces llego temprano.
En este ejemplo puede suprimirse la palabra "entonces" y reemplazarse por
una "," as:
Si madrugo, llego temprano.
Cuando la palabra "no" se encuentra en el interior de una proposicin simple,
puede pasar inadvertida, pero se trata de una proposicin compuesta.
Ejemplo:
El da no est caluroso
Puede presentarse como:
No ocurre que el da est caluroso.
y su forma es:
No
No P
Tambin se usan smbolos para representar los trminos de enlace, as:
Para la "y" se utiliza el smbolo ..
Para la "o" se utiliza el smbolo v.
Para el "no" se utiliza el smbolo .
Para el "si,entonces" se utiliza el smbolo .
Para el "si y slo si" se utiliza el smbolo .
Cuando una proposicin compuesta utiliza el trmino de enlace "y" es una
conjuncin. Si el enlace se hace mediante la conectiva "o" es una disyuncin.
Si se usa el trmino "no" es una negacin. Cuando la conectiva es
"si ...entonces... " es una proposicin condicional, y si utiliza "si y slo si" se
tiene un bicondicional.
En proposiciones que tienen ms de un trmino de enlace es preciso indicar la
manera de agruparse, pues distintas agrupaciones pueden tener distintos
significados. En el lenguaje corriente, las agrupaciones se presentan de
acuerdo a la colocacin de ciertas palabras o mediante la puntuacin. En
lgica la agrupacin se indica por medio de parntesis.
Ejemplo:
O los soldados encontraron cerrado el paso, o si temieron un ataque enemigo,
se refugiaron en las montaas. Este texto se simboliza de la siguiente forma:
P: Los soldados encontraron cerrado el paso.
Q: Los soldados temieron un ataque enemigo.
R: Los soldados se refugiaron en las montaas.
La proposicin compuesta es:
P v (QR)
La cual tiene un sentido distinto de la proposicin:
(P v Q) R.
Cuando no hay lugar a ambigedades, pueden omitirse los parntesis y se
adopta una convencin con respecto a la dominancia relativa de los diversos
conectivos. La convencin es:
"" y "" dominan a "." y "v".
as: S P v R significa S (P v R)
P Q . r significa P (Q . R)
Con esta convencin, no est claro lo que significa por ejemplo:
P . Q v R P Q R
Aqu, es necesario usar parntesis para aclarar, en el primer caso, si se trata
de:
(P . Q) v R P . (Q v R)
y en el segundo caso, diferenciar entre:
(P Q) R y P (Q R)
1.2.2 El clculo proposicional como un sistema axiomtico
1.2.2.1 Signos primitivos
Letras latinas minsculas y maysculas.
Signos lgicos: "" (negacin), "v " (disyuncin).
Signos de puntuacin: "(",")" (parntesis).
De las sucesiones de signos que es posible construir, hay especficamente
unas que tienen sentido dentro de la teora. Tales sucesiones se denominan,
trminos y frmulas. Los trminos se identifican con los objetos de la teora y
las frmulas expresan relaciones entre los objetos. La especificacin de los
trminos y las frmulas, se hace a travs de las siguientes reglas.
1.2.2.2 Reglas formativas
RF1: Cualquier letra es un trmino.
RF2: Si R es una frmula, entonces R es una frmula, la cual se denomina
negacin de R.
RF3: Si P y Q son frmulas, entonces P v Q es una frmula la cual se
denomina disyuncin lgica de P y Q.
Nota: En las RF2 y RF3, las letras maysculas se usan para designar
frmulas, no corresponden a signos del lenguaje.
1.2.2.3 Signos Definidos. Una vez establecidas las reglas de formacin de
frmulas se pueden introducir abreviaciones con el fin de simplificar la
escritura. Estas abreviaciones son el objeto de las definiciones matemticas.
Definicin: Sean R y S frmulas, entonces:
La frmula (R vS) se denota abreviadamente como R .S y se llama
conjuncin Lgica de R y S, la cual se lee "R y S".
La frmula R vS se denota como R S y se llama condicional de R y
S. La figura lgica del condicional, responde a conectar dos proposiciones
mediante el esquema "si..., entonces...". Para leer una proposicin de la
forma R S, se puede usar algunas de las siguientes expresiones:
Si R entonces S.
R es suficiente para S.
S es necesario para R.
S siempre que R.
R slo si S.
A la frmula R se le llama antecedente, y a la frmula S consecuente. Cuando
el condicional es verdadero se dice que existe implicacin y en este caso se
lee la expresin como:
R implica S
la cual se denota:
R S
La frmula (R S) . (S R) se denota por R S y se llama
bicondicional de R y S. Esta expresin se puede leer como:
R si y slo s S
R es suficiente y necesario para S
Cuando el bicondicional es verdadero, se dice que hay equivalencia. En este
caso se lee:
R equivale a S
y se denota:
R s
Nota: Los criterios para decidir sobre la verdad del condicional y el
bicondicional se vern ms adelante.
1.2.2.4 Razonamiento Lgico. Deduccin. La deduccin lgico matemtica
consiste en lo siguiente: A partir de una serie de frmulas admitidas como
ciertas, y denominadas axiomas, hiptesis o premisas, se obtiene otra
frmula llamada conclusin o tesis, mediante la aplicacin de reglas lgicas
precisas. El proceso mediante el cual se pasa de las hiptesis (premisas) a la
tesis, recibe el nombre de demostracin.
Un teorema es una frmula que figura dentro de una demostracin. Es decir,
un teorema es una frmula que es o bien un axioma, o bien, una
consecuencia de ste.
Una frmula se dice que es falsa si su negacin es un teorema.
Una teora es contradictoria cuando se tiene una frmula R que es verdadera
y falsa a la vez. Esto es: R y R son teoremas de la teora.
Para demostrar que una frmula C es un teorema se desarrolla el siguiente
proceso:
Se enuncian los axiomas de la teora. Para la lgica proposicional se
establecen cuatro axiomas (A) que son :
A1. Axioma de idempotencia. Sea P una frmula, entonces, la frmula:
P v P P
es un axioma
A2. Axioma de adj uncin. Sean P Y Q frmulas, entonces, la frmula:
P P v Q
es un axioma.
A3. Axioma de conmutatividad. Sean P, Q y R frmulas, entonces, la
frmula:
P v Q Q v P
es un axioma.
A4. Axioma de adicin. Sean P , Q y R frmulas, entonces, la frmula:
(P Q) (R v P R v Q)
es un axioma.
Se fijan las "reglas lgicas" que permiten deducir dicha frmula a partir
de los axiomas. Estas reglas son llamadas reglas de validez (RV) y son
las siguientes:
RV1: Dadas las frmulas R y S; si R S y R son verdaderas, entecos S es
verdadera.
RV2: Si R y S son frmulas equivalentes, se puede sustituirla una por la otra
en cualquier parte del proceso demostrativo.
Se hace una demostracin de la frmula C, que consiste en obtener a C
como ltima frmula de la lista, por aplicacin reiterada de RV1 y RV2.
Ejercicios 1.2
Simbolizar completamente las proposiciones siguientes, utilizando los
smbolos correspondientes a cada trmino de enlace. Indicar las proposiciones
simples sustituidas por cada letra mayscula.
1. En el hemisferio sur, julio no es un mes de verano.
2. Si dos pulsaciones se atraviesan, continan conservando la forma original.
3. O Jaime no es puntual o Tomas llega tarde.
4. Ni Antonio ni Ana estudian en la universidad.
5. O Pedro es presidente y Juan es tesorero, o Jaime es tesorero.
6. Si este cuadro es negro entonces aquel cuadro es rojo y su rey est sobre
el cuadro rojo.
7. A la vez, si este cuadro es negro, entonces, aquel cuadro es rojo y su rey
est sobre el cuadro rojo.
8. Patinaremos s y slo si el hielo no es demasiado delgado.