FORMALIZACIN Y VALORACIN DE PROPOSICIONES

1.1. Conectivos Lgicos

Se denominan conectivos lgicos a aquellas palabras o trminos funcionales que ligan, juntan, unen o
enlazan las proposiciones simples formando proposiciones compuestas. Los operadores o conectivos
bsicos son:
CONECTIVO SMBOLO NOMBRE DE LA PROPOSICIN
No ~ Negacin
Y ^ Conjuncin
O Disyuntiva inclusiva
o. . . o. . . Disyuntiva exclusiva
Si entonces... Condicional
si y slo si Bicondicional

A. Negacin (~): Es un conectivo singular. Se denomina proposicin negativa aquella que cambia el valor
de la proposicin original. Se denota por: ~p, -p, p y se lee: no p. La negacin, puede traducirse
como:
No es cierto que ... Nadie que sea ... Jams ...
Es falso que... No es el caso que ... Es inconcebible que...
Nunca ... No es verdad que Es imposible que ...
No ocurre que... Es absurdo que Es errneo que ...
Es mentira que ... No acaece que... De ningn modo
No es el caso que Es inadmisible que Es incierto que
Es refutable que Es falaz que En modo alguno

Ejemplo:
p: INDECOPI es el Instituto Nacional de Defensa de la Competencia y de la Proteccin de la
Propiedad Intelectual.
~p: Es falso que INDECOPI sea el Instituto Nacional de Defensa de la Competencia y de la
Proteccin de la Propiedad Intelectual.
Su tabla de verdad es como sigue:
p ~p
V F
F V

B. Conjuncin: Dadas las proposiciones p, q. La conjuncin es el resultado de unir estas

proposiciones con el conectivo lgico y. Se denota con el smbolo: , , se escribe p q, p q
y se lee: p y q. La proposicin conjuntiva es verdadera. Cuando las dos proposiciones son
verdaderas. En nuestro lenguaje podemos emplear:

Pero Aun cuando No obstante

Sin embargo Al igual que Aunque
Adems Tanto . como . Ms an
A la vez Siempre ambos. con.. Tambin
Profesor: Ing. Dr. Nelson Quiones Vsquez 1
 Incluso No slo.sino tambin. Es compatible con
As como A pesar de As mismo
Del mismo modo .con . los dos a la vez De la misma forma que

Ejemplo:
Consideremos las siguientes proposiciones:
p: Roxana estudia
q: Roxana escucha msica
De tal manera que la representacin del enunciado anterior usando simbologa lgica queda indicado
por:
p q: Roxana estudia al mismo tiempo que escucha msica
Su tabla de verdad es como sigue:

p q pq
V V V
V F F
F V F
F F F
C. Disyuncin: Es una proposicin compuesta formada por p y por q relacionadas por el conectivo
lgico o. Segn el sentido del conectivo o, se puede interpretar de dos maneras: inclusiva o
exclusiva.
Disyuncin Inclusiva o Dbil: Se denota por p q, p + q y se lee: p o q. La disyuncin
inclusiva es falsa slo en el caso que ambas proporciones sean falsas. Se conoce como la suma
lgica. Otras formas de conexin que nos indican una disyuncin inclusiva son:

A menos que O en todo caso

Excepto que O tambin
Salvo que O incluso
A no ser que O bien
Y bien o tambin Al menos uno de los dos . o .
O sino Alternativamente

Ejemplo: Consideremos:
p: Maana estudiaremos Qumica p q pq
q: Maana estudiaremos Fsica V V V
De tal manera que la representacin del enunciado anterior usando V F V
simbologa lgica queda indicado por: F V V
p q: Maana estudiaremos Qumica o sino estudiaremos Fsica F F F
Su tabla de verdad es como sigue:

Disyuncin Exclusiva o Fuerte: Se denota por: p q, p v q, p q, p q, p

q y se lee: p o q
pero no ambos. La disyuncin exclusiva es verdadera slo cuando una de las proposiciones es verdadera.
Algunas formas de conectivos a emplear son:

O ... o ... ... no equivale a ...

O bien ... o bien ... No es cierto que...equivale a...
No es equivalente ... con ... O solo .... o solo ....
....a menos que solamente... ...salvo que nicamente...

Profesor: Ing. Dr. Nelson Quiones Vsquez 2

 ....excepto que slo.... ....o bien necesariamente....
....o exclusivamente.... ....no es idntico a....
....no es lo mismo que... Salvo que .... o ....

Ejemplo: Consideremos: p q pq
p: Este ao viajar al extranjero q: Viajo a Lima V V F
De tal manera que la representacin del enunciado anterior usando simbologa lgica V F V
queda indicado por: F V V
p q: Este ao viajar al extranjero salvo que nicamente viaje a Lima F F F
Por lo tanto su tabla de verdad es:

D. Condicional: Proposicin compuesta que resulta de la combinacin de dos proposiciones simples, a

travs del conectivo: Si ..., entonces ... y su smbolo es : , . La notacin p q, p q se lee
Si p, entonces q. La proposicin p se llama antecedente o hiptesis y la proposicin q se llama
consecuente o conclusin. La manera de expresar la condicional en el orden antecedente-
consecuente
(p q Implicacin directa), son las siguientes:

Si p, entonces q p por tanto q

Siempre que p entonces q
p es suficiente para q
p implica q
Ya que p bien se ve que q
En cuanto p por tanto q
p por consiguiente q
p por ende q
p por conclusin q
Dado que p por eso q
Porque p por eso q

Puede tambin expresarse en el orden consecuente-antecedente (q p) Implicacin inversa.

q si p q es implicada para p q de modo que p

q siempre que p q cada vez que p q puesto que p
q es necesario para p q en vista que p q porque p
Slo si p, q Slo cuando p, q Solamente porque p, q
q dado que p q ya que p q cada vez que p
q a condicin de que p q dado que p q se concluye de p
q supone que p q sigue de p nicamente si p, q

Ejemplo: consideremos:
p: La produccin es buena
q: Habr mayor rentabilidad en la empresa
p q pq
De tal manera que la representacin del enunciado anterior usando simbologa lgica
V V V
queda indicado por:
V F F
p q: Si la produccin es buena, habr mayor rentabilidad en la empresa
F V V
q p: Habr mayor rentabilidad en la empresa siempre que la produccin sea
F F V
buena
Su tabla de verdad queda de la siguiente manera:

E.- Bicondicional: Cuando dos proposiciones estn unidas por el conectivo lgico ...si y slo si..., cuyo
smbolo es: , , . La proposicin compuesta se denota por: p q, p q, p q y se lee:
Profesor: Ing. Dr. Nelson Quiones Vsquez 3
 p s y slo si q. La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o
bien ambas verdaderas.

Tambin se suele emplear expresiones como:

siempre y cuando Es suficiente para que suficiente sea

es equivalente a Es condicin necesaria y suficiente para
es lo mismo que por lo cual y segn lo cual
cuando y slo cuando cada vez que y slo si
Si y slo si p, q si de la forma
siempre que y slo cuando implica y est implicado por
es idntico a Siempre que y siempre que

Ejemplo: Consideremos:
p: El que yo te sonra p q pq
q: Yo te enamore
V V V
De tal manera que la representacin del enunciado anterior usando simbologa lgica
V F F
queda indicado por:
F V F
p q: El que yo te sonra es lo mismo que yo te enamore.
F F V
Su tabla de verdad queda de la siguiente manera:

1.2. Notacin Proposicional

En lgica nos interesa saber cmo estn combinadas las proposiciones, y no nos interesa en absoluto
su significado. Por ello necesitamos unos smbolos que prescindiendo del significado de las
proposiciones nos indiquen la forma en que se combinan. Estos smbolos constituyen un lenguaje
formal.
Las proposiciones atmicas pueden ser sustituidas por letras minsculas p, q, r, etc., denominadas
variables proposicionales.
La operacin consiste en sustituir las expresiones del lenguaje natural por smbolos lgicos, a la cual
llamaremos formalizacin y la proposicin debidamente formalizada la llamaremos frmula.

Ejemplos:
1. Mario Vargas Llosa obtuvo el Premio Nobel de Literatura 2010.
Frmula ser simplemente: p
2. Democracia significa un modo de vida en el que la libertad y la justicia estn presentes.
p = Democracia significa un modo de vida en el que la libertad est presente
q = Democracia significa un modo de vida en el que la justicia est presente
Frmula: p q
3. O est lloviendo y garuando, o est soplando el viento.
p= Est lloviendo; q =Est garuando; r = Est soplando el viento
Frmula: (p q) r
4. Si Pablo se queda, entonces Luis se va.
p= Pablo se queda; q= Luis se va
Frmula: p q
5. Cientos de vidas podran salvarse cada ao si la gente utilizara el cinturn de seguridad.
p = cientos de vidas pueden salvarse cada ao; q= La gente utiliza el cinturn de seguridad
Frmula: q p
6. No es el caso que, si la luna est hecha de queso verde, entonces los vehculos espaciales no
pueden alunizar en ella.
Profesor: Ing. Dr. Nelson Quiones Vsquez 4
 p= La luna est hecha de queso verde; q= Los vehculos espaciales pueden alunizar en la luna
Frmula: (p q)
7. Si los verdaderos amigos tienen todo en comn, entonces t no puedes ser ms rico que tu
compaero si dices que son verdaderos amigos.
p= Los verdaderos amigos tienen todo en comn
q= Puedes ser ms rico que tu compaero
r= Dices que t y tu compaero son verdaderos amigos.
Frmula: p (r q)
8. Dos es un nmero primo porque slo es divisible por s mismo y por la unidad.
p = 2 es un nmero primo
q = 2 es divisible por s mismo
r = 2 es divisible por la unidad
Frmula: p (q r)
9. Decir que la suma de sucesiones positivas es una sucesin positiva y el producto de sucesiones
positivas es una sucesin positiva equivale a decir que la suma y el producto de dos nmeros reales
positivos es un nmero real positivo.
p = La suma de sucesiones positivas es una sucesin positiva
q = El producto de sucesiones positivas es una sucesin positiva
r = La suma de dos nmeros reales positivos es un nmero real positivo
s = El producto de dos nmeros reales positivos es un nmero real positivo.
Frmula: (p q) (r s)
10. Si el Rh de la futura madre es negativo, debe analizarse inmediatamente despus de cada parto la
sangre del recin nacido y, si sta es Rh positivo, ha de administrarse a la parturienta el suero
apropiado si se desea evitar complicaciones a otros hijos.
p = El Rh de la futura madre es negativo.
q = La sangre del recin nacido debe analizarse inmediatamente despus de cada parto
r = La sangre del recin nacido es Rh positivo
s = Ha de administrarse a la parturienta el suero apropiado.
t = Se desea evitar complicaciones a otros hijos.
Frmula: (p q) (r (t s))

1.3. Valoracin de las Proposiciones

Para determinar la valoracin de las proposiciones moleculares, es necesario tener en cuenta las tablas
de verdad.
Considere los siguientes ejemplos:
a) Los virus son alternados no obstante son virulentos. Por tanto tienen una clasificacin Tenemos las
proposiciones:
p: Los virus son alternados
q: Los virus son virulentos
r: Tienen una clasificacin
Se formaliza por: (p q) r
Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir que para
este caso se tiene: 2 3 = 8 asignaciones posibles para los valores de verdad en total.
La tabla de verdad para el esquema molecular, est dada por:

p q r (p q) r
V V V V V V
V V F V F F
V F V F V V
Profesor: Ing. Dr. Nelson Quiones Vsquez 5
 V F F F V F
F V V F V V
F V F F V F
F F V F V V
F F F F V F
1 3 2

b) Siempre que se apruebe el crdito entonces comprar el departamento; sin embargo se aprueba el
crdito. Por tanto comprar el departamento.
Sean las proposiciones:
p: Se aprueba el crdito
q: Comprar el departamento
Se formaliza por: [(p q) p] q
La tabla de verdad para el esquema molecular, est dada por:

p q [(p q) p] q
V V V V V V V
V F F F V V F
F V V F V V V
F F V F V V F
1 3 2

c) La crisis mundial afecta a los pases de bajos recursos econmicos pero los analistas en economa
buscan soluciones, a pesar de que la crisis mundial no afecta a los pases de bajos recursos.
Tenemos las proposiciones:
p: La crisis mundial afecta a los pases de bajos recursos econmicos
q: Los analistas en economa buscan soluciones
p: La crisis mundial no afecta a los pases de bajos recursos p q (p q) p
econmicos V V V F F
Se formaliza por: (p q) p V F F F F
F V F F V
La tabla de verdad para el esquema molecular, est dada por:
F F F F V

Como podemos apreciar las proposiciones, las expresamos en forma simblica; a su vez que podemos
encontrar sus valores de verdad. Con el fin de diferenciar los valores resultados de las expresiones, se
definen los siguientes conceptos:

A. Tautologa: Una expresin es tautolgica, cuando los valores de su conectivo principal resultan ser
verdaderos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (b).
B. Contradiccin: La expresin resulta ser una contradiccin, cuando los valores de su conectivo principal
resultan ser falsos, para todas las asignaciones posibles de la tabla de verdad. Ver ejemplo (c).
C. Contingencia: Aquella expresin, que en su conectivo principal resulten valores verdaderos y falsos a la
vez, para todas las posibles asignaciones de la tabla de verdad. Ver ejemplo (a).
Profesor: Ing. Dr. Nelson Quiones Vsquez 6
 ACTIVIDADES

1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si es:
tautologa, contradiccin o contingencia.
1. ( )
2. ( ) ~(~ ~)
3. ( ) ( ~ )
4. ( ) ( )
5. ~[~( ) ~ ]
6. [( ) ~ ] (~ )
7. [( ) ( ~ )] (~ ~)
8. [( ) ( )] [( ) ( )]
9. ~~[( ) (~ )] ~(~ )
10. [ ( )] [ ( )] [( ) ]

2. A continuacin se presenta una serie de ejercicios en la cual se especifica lo siguiente:

1. Si p es una proposicin falsa, determinar el valor de verdad de:
{( ~) [ (~ )]} ( )
2. Si ~[( ~ ) ~ ( ~)] ~( ) es Falsa. Determine los valores de verdad de:
a) b) c) ~ d) ( ~)
3. Si [~( (~ )) ~( ~)] es verdadera. Determine los valores de verdad de:
a) ( ) ( ) b) c) ~
4. Determinar el valor de verdad de la proposicin molecular [( ) ] ( ) sabiendo que p es
verdadera, q y r falsas. Hallar su valor de verdad.

5. Si la proposicin ( ) ( ) es falsa, deduzca el valor de verdad de los esquemas

moleculares:
a) ( ) b) ( ) [( ) ] c) ( ) [( ) ]

6. Si p y r son dos proposiciones cualesquiera y q: 2 es nmero impar, y

[( ) ( )] es verdadera entonces determine el valor de verdad de los siguientes esquemas
moleculares: a) ( ) b) [ ( )] ( )

ACTIVIDADES DE EVALUACIN
1. Escribe en forma simblica, identificando cada una de las proposiciones atmicas que aparezca en
las afirmaciones siguientes:
1. Esta fiesta es muy divertida y la msica es muy buena, por lo cual y segn lo cual todos la pasaron de
maravilla.
2. Me gusta bailar y leer libros de ciencia ficcin, ms an si la msica es merengue a no ser que no
baile.
3. Si no estoy equivocado, ella conduca un carro rojo, y haba un hombre sentado a su lado.
4. Dos nios tienen los mismos apellidos si y slo si tienen la misma madre y el mismo padre.
5. O Hugo tiene razn, o Mara y Carlos son o ambos culpables o ambos son inocentes
6. Si se ganan las elecciones y nuestros representantes acceden al poder, confiaremos en ellos si y slo
si cumplen sus promesas y el poder no les corrompe.
7. El abogado no es justo ni competente, a condicin de que es falso que no haya consultado con los
peritos sobre la cotizacin del inmueble embargado.
Profesor: Ing. Dr. Nelson Quiones Vsquez 7
 8. Es inobjetable que, una condicin suficiente para que los pases europeos tengan baja inflacin por lo
tanto estabilidad econmica, es que sus gobiernos tienen programas estratgicos de crecimiento as
como modelos econmicos.
9. Subirn los intereses bancarios porque subir la cotizacin del dlar, en vista de que, subir la
cotizacin del dlar slo si el gobierno no puede controlar la inflacin.
10. Los candidatos mienten en sus promesas y el pueblo les cree pero si hablaran la verdad el pueblo no
les creera, es por eso que el Per est como pas subdesarrollado.

2. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si
es: tautologa, contradiccin o contingencia.
1. [~( ) ~] {[ (~ ) ~] }
2. [ ( )] ~ [( ) ( )]
3. [~( ) ~] [( ~) ( ~)]
4. { [ ( ~)]} ( ~)
5. [~ (~ )] [( ) ( )]
6. {[( ) ] ( )}
7. [( ) (~ )] [( ~) (~ ~)].
8.

3. A continuacin se presenta una serie de ejercicios en la cual se especifica lo siguiente:

Si la proposicin:
[(p q) r] (s q), es falsa. Determine los valores de verdad de p, q, r y s

4. Si la proposicin: p (q r) es falsa y la proposicin s es verdadera. Cules de las siguientes

proposiciones son verdaderas?
I) ( ) II) ( )
III) ( ) IV) ( )
5. Si el esquema molecular: [ ( ) ( )] ( ) es verdadero, determine los valores de
verdad de:
a) b) c) ~

Profesor: Ing. Dr. Nelson Quiones Vsquez 8