Beruflich Dokumente
Kultur Dokumente
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
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:
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
F V V
simbologa lgica queda indicado por:
F F F
p q: Maana estudiaremos Qumica o sino estudiaremos Fsica
Su tabla de verdad es como sigue:
Ejemplo: Consideremos: p q pq
p: Este ao viajar al extranjero q: Viajo a Lima V V F
Profesor: Ing. Dr. Nelson Quiones Vsquez V F V 2
F V V
F F F
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:
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 F F V
sea 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:
p s y slo si q. La proposicin bicondicional solamente es verdadera si tanto p como q son falsas o
bien ambas verdaderas.
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.
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)
Profesor: Ing. Dr. Nelson Quiones Vsquez 4
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))
p q r (p q) r
V V V V V V
V V F V F F
V F V F V V
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
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 p q (p q) p
recursos 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).
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)
5. [ ( p q) q ] p
6. [( p q) p]( 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.