PROPOSICIONES COMPUESTAS BÁSICAS

A) NEGACIÓN ().- Dado una proposición “p”, llamamos negación de “p”, a otra proposición que
denotamos como “p” (no p), cuyo valor de verdad es el valor opuesto a “p”.
Su principio lógico de la negación es:
“Si una proposición es verdadera (V), su negación es falsa (F) y recíprocamente, si dicha proposición es falsa (F), su
negación es verdadera (V)”.
p p
V F
F V
Ejemplo:
• “La matemática es una ciencia” (V).
Su negación es: “La matemática no es una ciencia” (F)
• “La rana es un animal invertebrado” (F).
Su negación es: “La rana no es un animal invertebrado”; o mejor “La rana es en animal vertebrado” (V).

B) CONJUNCIÓN.- La conjunción de dos proposiciones p y q es la proposición compuesta que resulta de

unir estas proposiciones mediante el conectivo “y” () que se simboliza “pq”, donde el
principio lógico es: “La proposición “pq” es verdadera, cuando p es verdadero y cuando q es
verdadero; en todos los demás casos es falso”.

Su tabla de verdad es:

p q pq
V V V
V F F
F V F
F F F
Veamos el siguiente ejemplo:

Supongamos que Juan se traza el objetivo de aprobar la asignatura de Matemática Básica, para lo
cual tendrá que rendir su examen parcial.

p: Juan estudia Matemática Básica (V)

q: Juan rinde su examen de Matemática Básica (V)
Es lógico que Juan APRUEBA cuando estudia y a la vez rinda su examen (VERDADERA). En el caso
de que estudie y no rinda examen o solo rinda examen sin haber estudiado, o peor aún no estudia ni
rinde examen; NO APROBARÁ LA ASIGNATURA (FALSO).

C) DISYUNCIÓN.- La disyunción de dos proposiciones p y q, es la proposición compuesta que resulta de

unir p con q mediante el conectivo “o” en el sentido inclusivo (y/o), se simboliza “pq” el
principio lógico es: "La proposición “pq” es falsa únicamente cuando ambos son falsos; en
cualquier otro caso es verdadera”.
Su tabla de verdad es:
p q pq
V V V
V F V
F V V
F F F
Veamos el siguiente ejemplo:

A Mauro estudiante de universidad su papá le ofrece una semana de vacaciones en el Cuzco siempre y
cuando apruebe Matemática o Psicología, entonces:
p: Mauro aprueba matemática.
q: Mauro aprueba Psicología.

Es suficiente que Mauro apruebe una de las dos asignaturas o en el mejor de los casos las dos para que
pase sus vacaciones en el Cuzco (VERDADERA). Y solo en el caso de que no apruebe ninguna no se
llevará a cabo su viaje. (FALSO)
D) IMPLICACIÓN.- La implicación de dos proposiciones p y q, es la proposición compuesta que resulta de
unir p con q mediante el conectivo “entonces”, se simboliza “p→q” el principio lógico
es: "La proposición “p→q” es falsa únicamente cuando p es verdadera y q falsa; en
cualquier otro caso es verdadera”.
Su tabla de verdad es:
p q p→q
V V V
V F F
F V V
F F V

Veamos el siguiente ejemplo: Si el televisor de Mauro está malogrado entonces lo tiene que reparar.
p: El televisor de Mauro está malogrado.
q: El televisor de Mauro se manda reparar.

Analicemos los cuatro casos

• Si está malogrado y se manda reparar funciona (V)
• Si está malogrado y no se manda reparar no funcionará (F)
• Si no esta malogrado y se manda reparar es obvio que funcionará (V).
• Si no está malogrado y no se manda reparar también funcionará (V)

E) DOBLE IMPLICACIÓN.- La doble implicación de dos proposiciones p y q, es la proposición compuesta

que resulta de unir p con q mediante el conectivo “si y solo si”, se simboliza “pq” el
principio lógico es: "La proposición “pq” es verdadera cuando ambos son verdaderos o ambos
son falsos; en cualquier otro caso es falsa”.
Su tabla de verdad es:
p q pq
V V V
V F F
F V F
F F V

“8 es número divisible por dos, si y solo si 8 es un número par”.

p: 8 es número divisible por dos
q: 8 es número par
• 8 es número divisible por dos si y solo si 8 es número par (V)
• 8 es número divisible por dos si y solo si 8 no es número par (F)
• 8 no es número divisible por dos si y solo si 8 es número par (F)
• 8 no es número divisible por dos si y solo si 8 no es número par (V)

F) DISYUNCIÓN EXCLUSIVA.- La disyunción exclusiva de dos pro posiciones p y q, es la proposición

compuesta que resulta de unir p con q mediante el conectivo “o p o q pero no ambos”,
se simboliza “pq” el principio lógico es: "La proposición “pq” es verdadera cuando sus
componentes tienen valores diferentes; en caso contrario será falsa”.
Su tabla de verdad es:

p q pq p q pq
V V F V V F
V F V V F V
F V V F V V
F F F F F F
Por ejemplo, si:
Mauro tiene que participar en las olimpiadas que está organizando su facultad. Para lo cual hay dos
equipos en donde él debe jugar.
p: Mauro juega por el equipo “A”
p: Mauro juega por el equipo “B”
Es claro que cuando Mauro juega por un solo equipo será aceptada su participación (V). En el caso de que
participe por ambos equipos o no participe por ninguno, no será lo correcto.
 EVALUACIÓN DE ESQUEMAS MOLECULARES MEDIANTE TABLAS DE VERDAD
Para evaluar un esquema se trabajará los conectivos de menor a mayor jerarquía: “paréntesis, corchetes y
luego llaves” (en ese orden).Es decir trabajamos como si fuesen operaciones combinadas (multiplicación,
división, adición y sustracción) Luego analizamos la columna que finalmente obtenemos ya que esta puede
ser TAUTOLOGÍA, CONTINGENCIA o CONTRADICCIÓN

Se dice que un esquema es una TAUTOLOGÍA cuando todos los valores del resultado son verdaderos

Se dice que un esquema es una CONTINGENCIA cuando en el resultado se encuentra por lo menos un
verdadero y por lo menos un falso

Se dice que un esquema representa una CONTRADICIÓN cuando todos los valores del resultado son
falsos

Ejercicio 1
Evaluar: [(pq)→(qp)]  q

SOLUCIÓN:
Como tenemos dos proposiciones “p” y “q” entonces elaboramos una tabla con
22 = 4 combinaciones de sus valores.

p q [(p  q) →  (q  p)]  q
V V V V V V V V F F V V
V F V F F V F F V F V F
F V F F V V F V V V V V
F F F F F V V F F V V F

Por lo tanto el esquema representa una tautología

Ejercicio 2
Evaluar mediante tabla de verdad el siguiente esquema: p(qr)(pr)(pr)

SOLUCIÓN:
Para evaluar este esquema que cuenta con tres proposiciones elaboramos una tabla con 23 = 8
combinaciones de sus valores.
p q r p  ( q  r )  ( p  r )   ( p  r )
V V V F F V V F V F F V F F V V V
V V F F F V V V V F F F F F V V F
V F V F F F F F V F F V F F V V V
V F F F F F V V V F F F F F V V F
F V V V V V V F V V V V V F F V V
F V F V V V V V V V F F V V F F F
F F V V F F F F F V V V V F F V V
F F F V V F V V V V F F V V F F F

Por lo tanto, el esquema representa una contingencia

Como podemos observar en los dos ejemplos anteriores, los signos de agrupación juegan un papel muy
importante

Veamos un ejemplo más

Ejercicio 3
Evaluar mediante tabla de verdad el siguiente esquema:
p → (qp) (pr) (r→q) (pr) 
Solución:
P Q r p → (q  p)   (p  r)  ( r → q)   (p  r)
V V V V V V V V F F V F F V V V V V V V F V
V V F V V V V V F F V V V V F V V F F V V F
V F V V F F F V F V V F F F V F F F V V F V
V F F V F F F V F F V V V V F V F F F V V F
F V V F V V F F F F F V F V V V V F F F V V
F V F F V V F F F F F F V V F V V V V F F F
F F V F V F F F F F F V F V V F F F F F V V
F F F F V F F F F F F F V V F V F V V F F F

Por lo tanto el esquema representa una contradicción

PRÁCTICA 02
1. ¿Cuáles de las siguientes proposiciones son verdaderas y cuales son falsas? .
a) Si 3 + 3 = 6, entonces 4 = 4.
b) Si 5(7) = 35, entonces 10 – 3 = 13.
a) Si 5+(-7) = -35 entonces log12 – 3 = -1,3.
c) (5 – 3 = 8) → (1 – 7 = 6)
d) (12 + 2 = 14)  (7 – 3 1)
e) ( (4 + 6 = 9) (5 – 2 = 4)

2. ¿Cuáles de las siguientes proposiciones son verdaderas y cuales son falsas?

b) Si 3 -2 = 4, entonces 12 = 10 - 2
c) Si log13 + 3 = 6,7 ; entonces 4 = 4.
d) Si 3(7)es un número natural, entonces 17 es un número primo
e) (3  5 =0,8)  (15 – 3,8 = 24,4)
f) (5 + 13 = - 18) → (Sen 30º = 1,7172)
g) (12 + 23 = 18)  (7 –13 <1)

3. Construir la tabla de verdad de las siguientes proposiciones:

a) (pq)→(q→p)
b) (pr)(pr)(q→p)(qp)
c) p(q→p)(pq)→(qp)

4. Hallar las tablas de verdad de las siguientes proposiciones:

a) p→(qp)(pq)
b) p→(q→r)(pr)→q

5. Evaluar mediante tablas de verdad Los esquemas moleculares y hallar el valor de verdad de las afirmaciones.
a) [(p  q)(pq)](q→p)  (q  p)] es tautología
b) [(p  q)  ( p)] → (p  q) es contingencia

6. Al evaluar mediante tabla de verdad los esquemas

a) [p( q → p)]  [(p →  q) → (q  p)]
b) {[( q) →  q] → [( p →  q)]} → ( p  q)

7. formalice la siguiente proposición y luego evalúe mediante tabla de verdad:

“Te levantas temprano o estudias en la noche si y solo si, no es cierto que, no te levantes temprano y
que no estudies en la noche”.