3. PROPOSICION 4.

LA CONDICIONAL
3.1 OBJETIVO

Se simboliza como “
pq ” y se lee “si p entonces
1. LA NEGACIÓN
q”. la condicional es falso cuando el antecedente es
Se simboliza como “ ~ p ” y se lee “no p”. La verdadero y el consecuente es falso, en cualquier
negación de una proposición p adquiere el valor otro caso será verdadero. El antecedente es “p” y el
veritativo opuesto de la proposición p. consecuente es “q”.

Tabla de Verdad Simbología Tabla de Verdad Simbología

p q pq pq
p ~p ~p pq
V F V V V
F V ¬p V F F Cpq
Np F V V
F F V

2. LA CONJUNCIÓN 5. LA REPLICA MATERIAL

Se simboliza como “
pq” y se lee “p y q”. La Se simboliza como “
pq ” y se lee “p puesto que
conjunción es verdadera cuando las dos q”. La replica material es falso cuando el
proposiciones son verdaderas, en cualquier otro antecedente es verdadero y el consecuente es falso,
caso será falso. en cualquier otro caso será verdadero. El
antecedente es “p” y el consecuente es “q”.
Tabla de Verdad DISCRETA - INGENIERIAS
Simbología 1
MATEMÁTICA
1 Tabla de Verdad Simbología
p q pq pq
V V V p q pq
p&q pq
V F F V V V
pq
F V F V F V
F F F Kpq F V F
F F V

6. LA BICONDICIONAL
3. LA DISYUNCIÓN INCLUSIVA
S¡ se simboliza como “
pq ” y se lee “p si y solo
Se conoce también como disyunción débil. Se
si q”. La bicondicional es verdadero cuando ambos
simboliza como “
p  q” y se lee “p ó q”. La son verdaderos ó ambos son falsos; y es falso
disyunción es falsa cuando las dos proposiciones son cuando uno es verdadero y el otro es falso. Es decir
falsas, en cualquier otro caso será verdadero. si son iguales es verdadero y si son diferentes es
falso.
Tabla de Verdad Simbología
Tabla de Verdad Simbología
p q P˅q
V V V pq p q pq
V F V Apq V V V pq
F V V V F F pq
F F F F V F Epq
F F V

1
 e) negativa
TRABAJO DOMICILIARIO S3-1
6. Una proposición disyuntiva inclusiva, será:
1. ¿Cuántas de las siguientes proposiciones son
simples? a) Héctor es soltero o casado.
b) Si hay dinero; iremos de vacaciones.
* 24 es número compuesto. c) La leche está fría o caliente.
* El número 20 es par y el 15 es impar. d) Rommel es líder y orador.
* Los números 40 y 27 son pares. e) Eres tú o soy yo, ¿quién se casará con Diana?
* Juan y Pedro son primos.
* Juan y Pedro son peruanos.
7. En la siguiente tabla:
a) 1 b) 2 c) 3
d) 4 e) 5 p q [ ( p  q )  p ]   q
V V 1
V F 2
2. Determinar el valor de verdad de cada una de las F V 3
siguientes proposiciones:
F F 4
I. Si: 3 + 1 = 7, entonces: 4 + 4 = 8.
Los valores de verdad que deben reemplazar a los
II. No es verdad que: 2 + 2 = 5 si y solo si 4 + 4 =
círculos en el orden indicado son:
10.
III. Madrid está en España o Londres está en
a) VVVV b) VFFV c) VVFF
Francia.
d) FFFF e) FVFV
a) VFV b) VVV c) VFF 2
MATEMÁTICA DISCRETA - INGENIERIAS 8. ¿Cuántas de las siguientes expresiones son
d) FVF e) FFF 2
proposiciones?
- ¡Dios mío.......... se murió!
3. Un esquema conjuntivo representa a la
- El calor es la energía en tránsito.
proposición:
- Baila, a menos que estés triste.
- Siempre que estudio, me siento feliz.
a) Tanto Pizarro como Paolo son jugadores.
- El delfín es un cetáceo, ya que es un mamífero
b) La fiesta empezó al igual que el concurso.
marino.
c) Marco y Rubén toman chicha con ron.
a) 1 b) 2 c) 3
d) Carlitos asiste a clases, sin embargo no
d) 4 e) 5
escucha clases.
e) Todas.
9. Dadas las siguientes expresiones:
- El átomo no se ve, pero existe.
4. ¿Qué proposición es: “Es el caso que eres
- Los tigres no son paquidermos, tampoco las
postulante si te preparas en la academia”?
nutrias.
- Toma una decisión rápida.
a) Conjuntiva b) disyuntiva
- Hay 900 números naturales que se
c) bicondicional d) condicional
representan con tres cifras.
e) negativa
- La Matemática es ciencia fáctica.
- Es imposible que el año no tenga 12 meses.
5. El fiscal de la nación ejercerá sus funciones salvo
¿Cuántas no son proposiciones simples?
que no jure”.
a) 0 b) 1 c) 2
La proposición anterior es:
d) 3 e) 4
a) Conjuntiva b) bicondicional
c) disyuntiva d) condicional

2
 16. Simplificar: 
~ p   p  q    ~p  ~ q
LOGICA PROPOSICIONAL
a. F b. P c. q d. V e. ~ p

C v -  A & B  &   A    C  B  
10. Si Las proposiciones (a) y (b) son falsas, halle los 17.   
valores de verdad de I, II, III. a. A v B b. B v C c. A & C
~  P  q   r    s  r 
A.   d. A & C e. A v C
~p q
B.

C.
 n  p   ~r   p
  18. Simplificar: 
 p   q. r   .  q   r . p   p
s  (p  r) a. ¬ p b. p r c. ¬ q ∨ r
D.
d. ¬ r . p e. p
a. VV b. VVF c. VFV d. FVV e. VFF
19. Simplificar: ~ (~q  p)  (~p  q)
11. Indica cuales de las siguientes proposiciones son a. p Λ q b. p → q c. p← q
contradicciones: d. p v q e. p ↔ q
~(p  q)  (p  ~ q)
I.
II. ~(p  q)  (p  ~ q) (~q  ~r)   (~p  q)  (p l r) 
20. Simplificar:
III. ~(p  q)  (~p  ~ q)
a. p I q b. T c. F
a. Sólo I b. Sólo I c. Sólo III
d. ~ r↓p e. r← q
d. Todas e. N.A.

12. Hallar cuáles son tautologías:

1) (p  ~ q)  ~DISCRETA
MATEMÁTICA
(q  ~ p)
- INGENIERIAS
3
(~p  q)  ~(p  q) 3
2)
3) (~p  q)  ~(q  ~q)

a. Sólo 1 b. Sólo 2 c. Sólo 3

d. Sólo 1 y 3

13. Si (p ↓ q) significa “ni p ni q”. ¿Cuáles de las

siguientes proposiciones son tautologías?
 p  q    q  p     p v q 
I.  
~  p  q   p  q
II.
III.  p  q  ~  p  q

a. I y II b. II y III c. II y III
d. Todas e. N.A.

~ p   p  ~ q   q   ~ p  q  
14. Simplificar: 
a. p → q b. q → p
c. ~ p → q d. ~ q → ~ p

15.Simplificar: 
 p  ~ q  ~ p    p  ~ q 
 

a. p Λ q b. p c. ~ q d. ~ p v q