INSTITUTO TECNOLOGICO SUPERIOR DE

TANTOYUCA

NOMBRE DE LA CARRERA: INGENIERIA EN SISTEMAS

COMPUTACIONALES.

NOMBRE DE LA ASIGNATURA: MATEMATICAS DISCRETA.

NOMBRE DE LA ALUMNA: MARLENE OSORIO SANCHEZ.

NUMERO DE CONTROL: 103S0219

GRUPO: S – 1/1
 Unidad III: Lógica Matemática.

Conectivo:

y: conjunción &

No: negación ¬

Ó: disyunción v

Si…entonces (condicional) 

Si y solo si (bicondicional) 

Tablas de verdad.
P Q PvQ
P ¬P
V V V
V F
V F V
F V
F V V
F F F

P Q P&Q
V V V
V F F
F V F
F F F

P Q P Q
V V V
V F F
F V V
F F V

P Q PQ
V V V
V F F
F V F
F F V
EJEMPLOS:
 P y Q= V

A y B= F

P  (P  Q)

V V V

(A  P)  (P  A)
F V V F
V F
F

¬(P & Q)  (¬P v ¬Q)

V V V V
F F
F F
V

(P  A)  (A  P)
V F F V
F V
V

(P  A)  (¬P v ¬Q)
V F V V
F F F
F
V

¬(P & B)  (¬P & ¬B)

V F V F
F F V
V F
F

[(P & Q)  B]  [P  (Q  B)]

V V F V V F
V F
F F
V

¬[(P v B) & (B v A)]

V F F F
V F
F
V

(¬P v B) v (¬B & A)

V F F F
F V
F
F

(P  Q)  (Q  P)
V V V V
V V
V
 Tautología, Contradicción y Contingencia.

(P  Q)  (Q  F)
V F F V
F V
F

Contradicción

(P  Q)  (Q  F)
F V V F Contingencia
V F
F

(P  Q)  (Q  F)
V V V V
V V
V
P= V Q= F R= V

(P & Q)  [P  (Q v R)]
V F V F V
F V
V
V

P= F Q= F R= V

(P & Q)  [P  (Q v R)] Tautología

F F F F V
F F
F
V

P= F Q= F R= F

(P & Q)  [P  (Q v R)]
F F F F F
F F
V
V
 P= V/F Q= F/V

P  Q P  Q

V F F V

F F

CONTRADICCIÓN

P P v P P P v P

V V V F F F

V V

V V

TAUTOLOGÍA

P v Q Q v P P v Q Q v P

V F F V F V V F

V V V V

V V

TAUTOLOGÍA

(P  Q)  (Q  P) (P  Q)  (Q  P)
V F F V F V V F

F V V F

F F

CONTRADICCIÓN

(P P ) P (P P ) P

V V V F F F

V V

V F

CONTINGENCIA

P v Q  P P v Q  P

V F V F V F

V V

V F

CONTINGENCIA

P & Q  P v Q P & Q  P v Q
V F V F F V F V

F V F V

V V

TAUTOLOGIA

¬P v ¬Q  (P  Q) ¬P v ¬Q  (P  Q)

V F V F F V F V

F V F V F V

V V

F V

CONTINGENCIA

P v ¬Q  (P V¬Q) P v ¬Q  (P  ¬Q)

V F V F F V F V

V V F F

V V F V

V V

TAUTOLOGIA

¬P v Q  (P  Q) ¬P v Q  (P  Q)

V F V F F V F V

F F V V

F V

V V

TAUTOLOGIA
DEMOSTRAR: C

1) A  B
2) B  C
3) _A____________
4) B PP (1,3)
5) C PP (2,4)

DEMOSTRAR: ¬T

1) R  ¬T
2) S  R
3) _S_____________
4) R PP (2,3)
5) ¬T PP(1,4)

DEMOSTRAR: M v N

1) ¬J (M v N)
2) ( F v G)  ¬J
3) _ F v G________
4) ¬J PP (2,3)
5) M v N PP (1,4)

DEMOSTRAR: Q
1) J  (K & M)
2) J
3) _(K & M)  ¬¬Q___
4) K& M PP (1,2)
5) ¬¬Q PP (3,4)
6) Q DN (5)

DEMOSTRAR: ¬A

1) A ¬B
2) C  B
3) _C________________
4) B PP (2,3)
5) ¬A TT (1,4)

DEMOSTRAR: D

1) (A & B)  C
2) C  D
3) _A & B______
4) C PP (1,3)
5) D PP (2,4)

DEMOSTRAR: A
1) ¬A  ¬B
2) ¬B  ¬C
3) __C___________
4) ¬¬B TT (2,3)
5) B DN (4)
6) ¬¬A TT (1,5)
7) A DN (6)

DEMOSTRAR: A

1) ¬A  ¬B
2) ¬B  ¬C
3) _C__________
4) ¬A SH (1,2)
5) A TT (3,4)

DEMOSTRAR: T v S

1) Q v T
2) Q  R
3) _¬R________
4) ¬Q TT(2, 3)
5) T TP(1, 4)
6) T v S LA(5)

DEMOSTRAR: R v ¬T
1) P
2) ¬R ¬P_____
3) R TT(1,2)
4) R v ¬ T LA(3)

DEMOSTRAR: R v ¬ S

1) S & Q
2) T  ¬Q
3) _¬T  R_______
4) S S(1)
5) Q S(1)
6) ¬T TT(2, 5)
7) R PP(3, 6)
8) ¬S DN(4)
9) R v ¬S LA(8,7)

DEMOSTRAR: U

1) P & ¬T
2) S  T
3) S v Q
4) _Q v P  U____
5) P S(1)
6) ¬T S(1)
7) ¬S TT(2, 6)
8) Q TP(3, 7)
9) Q v P LA(5, 8)
10) U PP(4, 9)

DEMOSTRAR: T v Q
 1) S  (P & Q)
2) S
3) _P & Q  T_____
4) S  T S.H.(1,3)
5) T PP(2, 4)
6) T v Q L.A.( 5)

DEMOSTRAR: y + 8 < 12

1) x + 8 = 12 v x ≠ 4
2) x = 4 & y < x
3) x + 8 =12 & y < x  y + 8 < 12

DEM: A

A: x + 8 =12 1) A v ¬B

B: x = 4 2) B & C

C: y <x 3) _(A & C)  D____

D: y + 8 <12 4) B S (2)

5) C S (2)

6) A TP (1, 4)

DEMOSTRAR: x > y v y 6
 1) x>y v x>5
2) x 5 v y 6
3) x + y = 1 & x > y______

DEM: A v ¬C

A: x > y 1) A v B

B: x > 5 2) ¬B v ¬C

C: < 6 3) D & A______

D: x + y = 1 4) D S (3)

5) A S (3)

6) B TP (1, 5)

7) ¬¬C TT (2, 6)

8) A v ¬C A (5, 7)

DEMOSTRAR: x ≠ 3 v x > 2

1) x+2≠5 v 2x=6
2) x+2≠5  x≠3
3) 2x-2=  2x≠6
4) x+3=8 & 2x-2=8___

DEM: C v F
A: x+2 1) ¬A v B

B: 2x=6 2) ¬A  ¬C

C: x=3 3) D  ¬B

D: 2x – 2=8 4) E & D__________

E= x+ 3= 8 5) E S (4)

6) D S (4)

7) ¬B PP (3, 6)

8) ¬A TP (1, 7)

9) ¬C PP (2, 8)

10) C DN (9)

11) C v F LA (10)

DEMOSTRAR: tang: 30° = 0.517 v cos 60° = 0.5

1) Sen30° =0.5  csc30° = 2.0

2) Sen30° = 0.5
3) Csc30° = 2.0  tang30° = 0.577_________

A: sen30°= 0.5 DEM: C v D

B: csc30° = 2.0 1) A  B

C: tang30° = 0.577 2) A

3) B  C_____

4) B PP (1, 2)

5) C PP (3, 4)

6) C v D LA (5)

DEMOSTRAR: ¬C v F

1) ¬A v B
2) ¬A  ¬C
3) D  ¬B
4) E & D_____
5) D S(4)
6) ¬B PP(3, 5)
7) ¬A TP(1, 6)
8) ¬C PP(2, 7)
9) ¬C v F L.A.(8)

DEMOSTRAR: ¬S

1) ¬(P & Q)
2) ¬Q  T
3) ¬P  T
4) S  ¬T_____
5) ¬P v ¬Q LM (1)
6) TvT SD (2,5)
7) T D.P.(6)
8) ¬S TT(4,7)

DEMOSTRAR: R & Q

1) ¬S  ¬(P v ¬T)
2) T  (Q & R)
3) ¬S_____________________
4) ¬(P v ¬P) PP(1,3)
5) ¬P & ¬¬T LM (4)
6) T S(5)
7) Q&R PP(2, 6)
8) R & Q L.C. (7)

DEMOSTRAR: ¬(A v B) = ¬A & ¬B

1) C & ¬D
2) C  ¬A
3) D v ¬B______
4) C S(1)
5) ¬D S(1)
6) ¬B TP(3,5)
7) ¬A PP(2,4)
8) ¬A & ¬B A(6,7)
9) ¬(A v B) LM(8)

DEMOSTRAR: ¬R

1) P  ¬Q
2) ¬Q  ¬S
3) (P  ¬S)  ¬T
4) R  T___________
5) P  ¬S S.H.(1,2)
6) ¬T PP(3,5)
7) ¬R TT(4,6)

DEMOSTRAR: B  A

1) A  B______
2) B  A L.B.(1)

DEMOSTRAR: C  A
 1) A  B
2) D  C______
3) A  B L.B.(1)
4) B  A L.B.(1)
5) D  C L.B.(2)
6) C  D L.B.(2)
7) C  B S.H.(3,5)
8) C  A LB(3,7)
9) C  A LB(7,8)

DEMOSTRAR: x + y= 5

1) 3x + y=11  3x=9
2) 3x=9  3x+y=11  y=2
3) y≠2 v x+y=5

A: 3x+y=11 DEM: D

B: 3x=9 1) A  B

C: y=2 2) B  A  C

D: x+y=5 3) ¬C v D_________________

4) A  B L.B. (1)

5) B  A L.B. (1)

6) (B  A)  C L.B. (2)

7) C PP (5,6)

8) D T.P. (3,7)

DEMOSTRAR: ¬(2x ≠ 8 & x ≠ 3)

1) 2x=6  x=3
2) 2x=8  x=4
3) 2x=6 v x=4

A: 2x=6 DEM: ¬(¬C & ¬B) = ¬¬C & ¬¬B = C v B

B: x=3 1) A  B
C: 2x=8 2) C  D

D: x=4 3) A v D_______

4) A  B L.B. (1)

5) B  A L.B. (1)

6) C  D L.B. (2)

7) D  C L.B. (2)

8) B v C S.D. (3, 4, 7)

9) C v B LC (8)

10) ¬(¬C & ¬B) LM (9)

DEMOSTRAR: x y & x≠y

1) y x  x=y v x<y
2) ¬(y<1 v y x)

A: y>x DEM: ¬C & ¬B

B: x=y 1) ¬A  (B v C)

C: x<y 2) ¬(D v ¬A)_____________

D: y<1 3) ¬A  (B v C) L.B. (1)

4) (B v C)  ¬A L.B. (1)

5) ¬D & A L.M. (2)

6) A S (5)

7) ¬ (B v C) TT (4, 6)

8) ¬C & ¬B L.M (7)

9) ¬B & ¬C LC (8)

DEMOSTRAR: x<x  y>x

 1) y>x  x<y

A: y>x DEM: B  A

B: x<y 1) A  B____________

2) B  A L.C. (1)

DEMOSTRAR: x<y & y=6

1) x<y  y>4
2) y=6  x+y=10
3) y>4 & ¬(x+y≠10)

A: x<y DEM: A & ¬C

B: y>4 1) A  B

C: y=6 2) C  D

D: x+y=10 3) B & ¬ (¬D)___________

4) A  B L.B. (1)

5) B  A L.B. (1)

6) C  D L.B. (2)

7) D  C L.B. (2)

8) B S (3)

9) D S (3)

10) A PP (4,8)

11) C PP (6,9)

12) ¬C DN (11)

13) A & ¬C A (10, 12)

DEMOSTRAR: xy ≠ 0
 1) y>x  x=0
2) xy=0  x=0
3) y x

A: y>x DEM: ¬C

B: x=0 1) A  B

C: xy=0 2) C  B

3) ¬A______________

4) A  B L.B. (1)

5) B  A L.B. (1)

6) C  B L.B. (2)

7) B  C L.B. (2)

8) ¬B TT (3, 5)

9) ¬C TT (7,8)

DEMOSTRAR: ¬(x<y & x=1)

1) x=y  x y
2) y=0  x y
3) x=0 v xy=0  y=0
4) (x=y  y=0)  x=0

A: x=y DEM: ¬(B & F)= ¬B v ¬F = B v F

B: x<y 1) A  ¬B

C: y=0 2) C  ¬B
D: x=0 3) (D v E)  C

E= xy=0 4) (A  C)  D_________

5) C  ¬B L.B. (2)

6) ¬B  C L.B. (2)

7) A  C S.H. (1, 6)

8) D PP (4, 7)

9) D v E L.A. (8)

10) C PP (3, 9)

11) ¬B PP (5, 10)

12) ¬B v ¬F L.A. (11)

13) ¬ (B & F) L.M. (12)

DEMOSTRAR: B v ¬F

1) A  B
2) C  (A v D)
3) ¬(E v ¬C)
4) D  B__________
5) ¬E & ¬¬C L.M. (3)
6) E & C DN (5)
7) E S (6)
8) C S (6)
9) A v D PP (2, 8)
10) B v B SD (1,4,9)
11) B D.P. (10)
12) B v ¬ F LA (11)