PROPOSICIONES COMPUESTAS BÁSICAS 5.

LA CONDICIONAL
Dadas las proposiciones p y q, la condicional es
1. LA NEGACIÓN: el resultado de unir estas proposiciones con el
Sea p una proposición, la negación de p es la conectivo “ Si ..p... entonces...q...”, la cual se
proposición denotada por p; cuyo valor de verdad denotado por p → q.
es el opuesto del valor veritativo de p.
p→q
Tabla de Verdad Antecedente consecuente
p p
La condicional es una proposición, la cual
V F solamente es falsa (F) cuando el antecedente (p)
F V es verdadera (V) y el consecuente (q) es falsa
2. LA CONJUNCIÓN (F).
Dadas las proposiciones p y q , la conjunción es el
resultado de unir estas proposiciones con el Tabla de verdad
conectivo “y ” la cual se denota por: p  q . p q p → q
La conjunción es una proposición verdadera (V) sólo V V V
cuando ambas p y q son verdaderas, en los demás V F F
casos será falsa (F) F V V
F F V
Tabla de Verdad
p q p  q Observación:
V V V En la condicional basta que el antecedente sea
V F F falso, para que el esquema condicional sea
F V F verdadero sin importar el valor de verdad del
F F F consecuente.

3. LA DISYUNCIÓN INCLUSIVA 6. LA BICONDICIONAL

Dadas las proposiciones p y q, la disyunción Dadas las proposiciones p y q; se llama
inclusiva que se denota por p  q; es el resultado bicondicional a la proposición denotada por p 
de unir estas proposiciones con el conectivo “o”. q que se lee “p si y sólo si q”, a aquella
La disyunción inclusiva es verdadera (V) cuando proposición compuesta que es verdadera sólo
por lo menos una de las proposiciones es cuando ambas p y q tienen valores veritativos
verdadera. Es falsa (F) sólo si ambas p y q son iguales.
falsas. Tabla de verdad
p q p  q
Tabla de verdad
V V V
p q p  q
V F F
V V V
F V F
V F V
F F V
F V V
F F F EVALUACIÓN DE UNA PROPOSICIÓN
MOLECULAR
4. LA DISYUNCIÓN EXCLUSIVA
La disyunción exclusiva de las proposiciones p y • Si el esquema molecular contiene “n” variables
q denotada como “ p  q “, se caracteriza por proposicionales, se tiene que considerar las 2 n
falsa (F) sólo cuando ambas admiten el mismo combinaciones posibles entre sus valores.
valor de verdad. • Primero se evalúa los paréntesis, luego los
Tabla de verdad corchetes, y así sucesivamente. El orden es
p q p  q análogo al que se sigue en matemática.
V V F • La evaluación se observa en el operador principal
V F V o matriz.
F V V • De acuerdo al resultado obtenido en el operador
F F F principal, los esquemas moleculares se clasifican en
:
 a) TAUTOLÓGICOS: Cuando todos los valores ( p  q)  p q
resultan verdaderos.
b) CONTRADICTORIOS: Cuando todos los ( p  q)  p q
valores resultan falsos.
IX) LEYES DE LA CONDICIONAL:
c) CONSISTENTES O CONTINGENTES: p→q p q
Cuando hay por lo menos una verdad y una
falsedad.
p→q (p  q)

LA IMPLICACIÓN X) LEYES DE LA BICONDICIONAL:

Es el nombre que asume una condicional cuando al pq  ( p → q)  (q → p)
evaluarla resulta tautológica.
p q  ( p  q)  ( p  q)
LA EQUIVALENCIA
Es el nombre que asume una bicondicional cuando al XI) LEYES DE LA DISYUNCIÓN FUERTE.
evaluarla resulta tautológica. pq ( p  q)  (q  p)
EQUIVALENCIAS LÓGICAS: p q  ( p  q)  ( p  q)
Dos proposiciones resultan equivalentes cuando sus
XII) LEYES DE TRANSPOSICIÓN
tablas de verdad resultan idénticas.
p →q  q → p
EQUIVALENCIAS NOTABLES p q q  p
I) PRINCIPIO DE IDENTIDAD:
XIII) LEYES TRANSITIVAS
p→ p ; p  p 
( p → q )  ( q → r ) → ( p → r )
Principio de no contradicción
( p  q )  ( q  r )  → ( p  r )
(  )  
XIV) LEYES ADICIONALES
Principio del tercio excluido
p p T pF F pF  p
p p  F
p  V  p p  V V
II) LEYES CONMUTATIVAS:
pq q p
PROBLEMAS
pq q p
p q  q p
1) Determinar el valor de verdad de cada una de las
III) LEYES ASOCIATIVAS: siguientes proposiciones:
( ) p→qq→ p
( p  q )  r  p  (q  r )
( ) p  ( p → q) es una tautología
( p  q)  r  p  (q  r )
( ) p p es una contradicción
( p  q)  r  p  (q  r )
A) FVV B) VFV C) FFV
IV) LEYES DE IDEMPOTENCIA: D) VFF E) FVF
p  p p ; p p p
2) Simplificar la proposición:
V) LEY DE LA DOBLE NEGACIÓN:  p  ( p  q)  q  ( p q)
( p)  p A) p B)p C) q
D) q E) p  q
VI) LEYES DISTRIBUTIVAS:
p  (q  r )  ( p  q)  ( p  r )
p  (q  r )  ( p  q)  ( p  r )
3) Simplificar:  ( p  q) → q   q
A) p B) q C) p  q
p → (q  r )  ( p → q)  ( p → r )
D) q  p E) p → q
p → (q  r )  ( p → q)  ( p → r )
VII) LEYES DE ABSORCIÓN 4) La proposición: p →( p  q)  →  q  p
p  ( p  q)  p es equivalente a:
p ( p  q)  p A) p  q B) p  q C) p → q
p ( p  q)  p  q D) q → p E) p  q
p ( p  q)  p  q 5) Cuántas de las siguientes proposiciones son
tautológicas?
VIII) LEYES DE MORGAN
 I. ( p q)  ( p  q) II. A) F B) V C) p  q
( p q)  ( p  q) III. D) q  p E) p → q

 ( p → q)  ( q → r )  → ( p → r ) 13) Se define: p  q  ( p  q)
IV. ( p  q ) → ( p  q ) Entonces simplificar:
A) 0 B) 1 C) 2 D) 3 E) 4 ( p q) q ( p p) p
6) ¿Cuáles de las siguientes proposiciones son A) p B) q C) p
equivalentes a: r → ( p  q) ? D) p  q E) pq
I. p → (q  r ) II. p  (q  r ) 14) Si (q → t) y (p  q) son falsos, evaluar:
III. q → ( p  r ) ~[p  (~q  ~p)]
A) Solo I B) I y II C) II y III
A) V B) F
D) I y IIIE) Todas
C) No se puede precisar D) V o F
7) ¿Cuáles de las siguientes proposiciones son E) V y F
equivalentes a: ( p → q)  (q → r ) 15) Si (p  q) → (r  t) es falso, indicar las proposiciones
I. p  ( p r ) q que son verdaderas.

II. p  q (q  r ) A) p, r B) p, q C) r, t
III. ( p  q)   ( p  r )  q  D) q, t E) p, r, t

A) Solo I B) Solo II C) Todas 16) Si se sabe que: p  ~ r es F

D) I y II E) I y III r → q es V
q  t es F
8) Si p q p→ q Determine los valores de verdad de p, q, r y t.
P ⃟q  p  q
A) VVVV B) VVFF C) VFVF
Simplificar: ( p q) → ( p  q)   q D) FVFF E) FFFF
A) pq B) p → q C) q → p 17) Al simplificar la proposición:
D) ( p  q) E) ( p q) (p → q)  (p  ~q)
se tiene:
9) Se define: p@q  p → q
A) p  q B) ~p  ~q
p*q  p  q C) Tautología D) Contradicción
Determinar cuáles de las siguientes proposiciones E) ~q
son equivalentes:
18) Luego de construir la tabla de verdad de la
I. ( r* q ) @ p
siguiente proposición: (p  q) → [r  ~p]
II. p@ ( r* q ) ¿Cuántas V y cuántas F aparecen
III.  p *(r @ q
respectivamente?
A) 6 y 2 B) 1 y 7 C) 7 y 1
A) Solo I y II B) Solo I y III C) D) 4 y 4 E) 2 y 6
Solo II y III D) I, II y III E) No hay
equivalencia 19) Si r es falso, evaluar (r → q)  ~r

10) Simplificar la siguiente proposición molecular: A) F B) V C) F o V

 p  (q r )  (q p) ( p  r )

D) F y V E) Falta información
20) En la siguiente expresión:
A) p B) V C) F
“El alcalde será reelegido, si mantiene el
D) r E) q ornato de la ciudad o no aumenta el impuesto
predial.”
11) Simplificar el siguiente esquema molecular: Su formalización sería:
p →( p  q)  → ( q  p) A) (q  r) ~ p B) (q  ~r) → p
C) (r  q) → p D) (~q  ~r) ~p
A) p → q B) q → p C) p  q E) (~r  ~q) → q
D) p  q E) p  q
21) Simbolice la proposición siguiente:
12) Simplificar: “La recesión aumenta a menos que no se tomen
las medidas adecuadas”.
  ( p  q ) q  →  ( p q) 
A) p → q B) p  q C) q → p
 D) p  q E) p  q 30) En la siguiente tabla:
p q (p → q) → (~q → ~p)
22) Señale el nombre del resultado del siguiente
V V 
esquema: ~[p → (q  ~p)] 
A) Condicional B) Consistencia V F 
C) Tautología D) Contradicción F V 
E) Bicondicional
F F
23) Al hacer la tabla de verdad de la siguiente
Los valores de verdad que deben reemplazar a los
proposición:
círculos en el orden indicado son:
“Te levantas temprano o estudias en la noche si y A) VVVV B) VFFV C) VVFF
solo si, no es cierto que no te levantas temprano y D) FFFF E) FVFV
que no estudies en la noche”.
A) Tautología B) Contradicción 31) De la falsedad de la proposición:
C) Contingencia D) Faltan datos (p → ~q)  (~r → s) se deduce que el valor de
E) Otra respuesta verdad de los esquemas:
I. (~p  ~q)  (~q)
24) En la siguiente tabla:
II. (~r  q)  [(~q  r)  s]
p q [(p → q)  p] → q
III. (p → q) → [(p  q)  ~q]
V V  Son respectivamente:

V F  A) VFV B) FFF C) VVV
F V  D) VVF E) FFV
F F 32) Indicar el valor de verdad de:
Los valores de verdad que deben reemplazar a los I. (~p  ~q)  (p  q) es una contradicción.
círculos en el orden indicado son: II. [(p → q)  (q → r)] → (p → r) es una tautología.
A) VVVV B) VFFV C) VVFF III. [p  (p → q)] → (q  r) es una contingencia.
D) FFFF E) FVFV A) VVV B) VVF C) VFF
D) VFV E) FVV
25) Indicar el valor de verdad de:
I. p → (p  q) 33) ¿Cuáles de las siguientes proposiciones
II. (p  q) → (p  q) compuestas son tautológicas?
III. ~[(p  q) → p] I. (p  ~q)  (~p  q)
A) VVV B) VFV C) VFF II. (q → ~p)  (p  ~q)
D) FVF E) FVV III. (~q  p) → (q  ~p)
A) Sólo I B) Sólo II C) Sólo III
26) Si la proposición: (p → ~q)  (~r → s) es falsa, deducir D) I y II E) I y III
el valor de verdad de:
34) Simbolizar la siguiente proposición: “Si fumo
(~p  ~q)  ~p
A) V B) F demasiado entonces me duele la garganta; y me
C) V o F D) No se puede determinar duele la garganta; por lo tanto no fumo demasiado”.
E) Ninguna Siendo:
p : fumo demasiado
27) Si: (p  ~q) → r; es falsa, determinar los valores de
q : me duele la garganta
verdad de “p”, “q” y “r”.
A) VVF B) VFF C) VVV a) p → q  q → ~p
D) VFV E) FFF b) (p → q)  (q → ~p)
c) (p → q)  q → ~p
28) Si: (~p)  r; es verdadero; los valores de verdad de: d) [(p → q)  q] → ~p
I. (p  s) → (r  s) e) [(p → q)  q] → p
II. (p  r)  s
Son: 35) Simbolizar la siguiente proposición: “Si yo trabajo,
A) VV B) VF C) FV gano dinero, y si no trabajo entonces me divierto;
D) FF E) Faltan datos por lo tanto si no gano dinero me divierto”. Siendo:
29) Hallar la tabla de verdad de: p : yo trabajo
p q (p  q) → (p  q) q : gano dinero
V V r : me divierto

V F a) {[(p → q)  ~p] → r} → (~q → r)

b) [(p → q)  (~p → r)] → (~q → r)
F V c) {[(p → q)  p] → ~r} → (q → ~r)
F F d) (p → q) → r
e) {(~p → q)  ~p} → r
A) VVFF B) VFFV C) VFVF
D) VVV E) FFFF