UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

Competencia
Lgico Matemtica

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
Sin embargo
Adems
A la vez
Incluso
As como
Del mismo modo

Aun cuando
Al igual que
Tanto . como .
Siempre ambos. con..
No slo.sino tambin.
A pesar de
.con . los dos a la vez

No obstante
Aunque
Ms an
Tambin
Es compatible con
As mismo
De la misma forma que

Ejemplo:
Consideremos las siguientes proposiciones:
p: Roxana estudia
Docente: Wilderd Alejandro Cabanillas Campos

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

Competencia
Lgico Matemtica

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
Excepto que
Salvo que
A no ser que
Y bien o tambin
O sino
Ejemplo: Consideremos:
p: Maana estudiaremos Qumica
q: Maana estudiaremos
De tal manera que la representacin
lgica queda indicado por:
p q: Maana estudiaremos
Su tabla de verdad es como sigue:

O en todo caso
O tambin
O incluso
O bien
Al menos uno de los dos . o .
Alternativamente
p q
V V
V F
F V
F F

pq
V
V
V
F

Fsica
del enunciado anterior usando simbologa
Qumica o sino estudiaremos Fsica

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 ...
O bien ... o bien ...
No es equivalente ... con ...
....a menos que solamente...
....excepto que slo....
....o exclusivamente....
....no es lo mismo que...
Ejemplo: Consideremos:
p: Este ao viajar al extranjero
Docente: Wilderd Alejandro Cabanillas Campos

... no equivale a ...

No es cierto que...equivale a...
O solo .... o solo ....
...salvo que nicamente...
....o bien necesariamente....
....no es idntico a....
Salvo que .... o ....

q: Viajo a Lima

p q
V V
V F
F V
F F

pq
F
V
V 2
F

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

Competencia
Lgico Matemtica

De
tal manera que la representacin del enunciado anterior usando simbologa lgica queda
indicado por:
p q: Este ao viajar al extranjero salvo que nicamente viaje a Lima
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 antecedenteconsecuente
(p q Implicacin directa), son las siguientes:
Si p, entonces 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 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 siempre que p
q es necesario para p
Slo si p, q
q dado que p
q a condicin de que p
q supone que p

q es implicada para p
q cada vez que p
q en vista que p
Slo cuando p, q
q ya que p
q dado que p
q sigue de p

q de modo que p
q puesto que p
q porque p
Solamente porque p, q
q cada vez que p
q se concluye de p
nicamente si p, q

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

Docente: Wilderd Alejandro Cabanillas Campos

p q
V V
V F
F V
F F

pq
V
F
V
V

2.

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO
E.-

Competencia
Lgico Matemtica

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: 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 equivalente a
es lo mismo que
cuando y slo cuando
Si y slo si p, q
siempre que y slo cuando
es idntico a

Es suficiente para que suficiente sea

Es condicin necesaria y suficiente para
por lo cual y segn lo cual
cada vez que y slo si
si de la forma
implica y est implicado por
Siempre que y siempre que

Ejemplo: Consideremos:
p: El que yo te sonra
q: Yo te enamore
De tal manera que la representacin del enunciado anterior usando simbologa
lgica queda indicado por:
p q: El que yo te sonra es lo mismo que yo te enamore.

p q
V V
V F
F V
F F

pq
V
F
F
V

Su tabla de verdad queda de la siguiente manera:

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.
Docente: Wilderd Alejandro Cabanillas Campos

3.

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

Competencia
Lgico Matemtica

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

Docente: Wilderd Alejandro Cabanillas Campos

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

Competencia
Lgico Matemtica

Luego: como se puede observar el esquema molecular tiene 3 proposiciones simples, es decir
3

que para este caso se tiene: 2 = 8 asignaciones posibles para los valores de verdad en total.
La tabla de verdad para el esquema molecular, est dada por:
p
V
V
V
V
F
F
F
F

b)

q
V
V
F
F
V
V
F
F

r
V
F
V
F
V
F
V
F

(p q)
V
V
F
F
F
F
F
F
1

V
F
V
V
V
V
V
V
3

r
V
F
V
F
V
F
V
F
2

Siempre que se apruebe el crdito entonces comprar el departamento; sin

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)
V V
V
V
V F
F
F
F V
V
F
F F
V
F
1

p]
V
V
V
V

V
V
V
V
3

embargo se aprueba el

q
V
F
V
F
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
p q
(p q)
p
econmicos
V
V
V
F
F
q: Los analistas en economa buscan soluciones
F
F
F
p: La crisis mundial no afecta a los pases de bajos V F
F V
F
F
V
recursos econmicos
F F
F
F
V
Se formaliza por: (p q) p
La tabla de verdad para el esquema molecular, est dada por:

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:
Docente: Wilderd Alejandro Cabanillas Campos

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

Competencia
Lgico Matemtica

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).
ACTIVIDADES
1. Construye la tabla de verdad para cada una de los siguientes esquemas moleculares, y determina si
es: tautologa, contradiccin o contingencia.
1.

q(r s)

2.

( p q)( p q)

3.

( p q)( p q)

4.

( p q)(q p)
[ ( p q) q] p

5.
6.

[( p q) p]( q p)

7.

[( p q)( p q)]( p q)

8.

( p q)( p q)[( p q)(q p)]

9.

( p q)( p r)(r q )r

p(q r ) q( p r )( p q)r

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:

( p r) r (q p)( p q)
2. Si

( p s )(r s) (q s)
a)

3. Si

pq

b)

es Falsa. Determine los valores de verdad de:

rs

c)

rs

d)

( p q)r

( p( s q))(r q) es verdadera. Determine los valores de verdad de:

a)

(r p)(q s)

b)

rs

c)

rq

4. Determinar el valor de verdad de la proposicin molecular

[( p q) p](r p)

sabiendo que p es

verdadera, q y r falsas. Hallar su valor de verdad.

5. Si la proposicin

( p q)(r s)

es falsa, deduzca el valor de verdad de los esquemas moleculares:

Docente: Wilderd Alejandro Cabanillas Campos

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO
a)

( p q) p

b)

( p q)[( p q) q]

c)

Competencia
Lgico Matemtica

(r q)[(q r) s ]

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

[(r q)(r p)]

a)

r ( p q)

es verdadera entonces el valor de verdad de los siguientes esquemas moleculares es:

b)

[r (p q)](q p)

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.
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.

3.

1.

[ ( p q) r ]{[( p q) r ] p }

2.

[ p(q r )] [( p q)(r q)]

3.

[ ( p q) r ][(q p)(r r)]

4.

{ p[q (r p)]}(q s)

5.

[ p( q r )] [ (q r )( p r) ]

6.

{[( p q)r ]( p q)}r

7.

[ ( p q) (

p q ) ] [ (p q)( p q )] .

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

Si la proposicin:
Docente: Wilderd Alejandro Cabanillas Campos

UNIVERSIDAD SEOR DE SIPN

PIMENTEL CHICLAYO

[ ( p q ) r ] (s q)
4.

Competencia
Lgico Matemtica

, es falsa. Determine los valores de verdad de p, q, r y s

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

proposiciones son verdaderas?

I)
III)

( p q)
( p q)r

II)
IV)

s( pr)
( p q)r

5. Si el esquema molecular:
a)

pq

b)

de las siguientes

rs

[( p q)(r q)](q s)
c)

Docente: Wilderd Alejandro Cabanillas Campos

es verdadero, determine los valores de verdad de:

r s