Está en la página 1de 4

# TECNOLÓGICO NACIONAL DE MÉXICO

INSTITUTO TECNOLÓGICO DE
TEHUACÁN

MATEMATICAS DISCRETAS
UNIDAD III: LOGICA MATEMATICA
A3.1: TALLER TABLAS DE VERDAD

## NICOLAS ISIDRO CELESTE

20361096
ING. SISTEMAS COMPUTACIONALES

10/05/2021
MATEMÁTICAS DISCRETAS

## Si p, q y r son proposiciones atómicas distintas, ¿Cuáles de las siguientes son TAUTOLOGIAS,

22=4
1.  p   q   (    p   q 

## p q pq q p p p  q (p   q   (    p   q 

F F F V V F V V
F V F F V F F V
V F V V F V F F
V V F F F V V V
R= CONTINGENCIA

2. ( p   q )  p   q 22=4

p q p p q ( p   q )  p q ( p   q )  p   q

F F V V F V V
F V V V F F V
V F F V V V V
V V F F F F V
R=TAUTOLOGICA

3. ( ((p  q )  ( p  r )  ( q  r  ) r 23=8

## p q p q (p  q )  ( p  r  pr ((p  q )  ( p  r )  ( q  r ) qr ( ((p  q )  ( p  r )  ( q  r  ) r r

F F F F V F V V F
F F F F V F V V V
F V V V V F F V F
F V V V V V V V V
V F V F F F V V F
V F V V V V V V V
V V V F F F F V F
V V V V V V V V V
R=TAUTOLOGICA

22=4
4. ( q  ( p  q )   p

## p q q q( pq pq ( q  ( p  q )   p p

F F V V V V V
F V F F V V V
V F V F F V F
V V F F V V F
R=TAUTOLOGICA
5. ((p  q )  (  p  q ))  (( p   q)  (  p  q )) 22=4
p pq p q pq (p  q )  (  p  q ) ((p  q )  (  p  q ))  (( p   q)  (  p  q )) p q (( p   q)  (  p  q ))  p  q q

F F V F V F F V V V V
F V V V V V F F F V F
V V F F F F F V V V V
V V F V V V F V F F F

## p q p q p↔q (p ↔ q) v (p → q) pq pvq (p v q) ∧ (p → q) p → q

F F V V V V V F F V
F V V F F V V V F F
V F F V F F F V V V
V V F F V V V V V V
R=NO SON EQUIVALENTES
22=4
2. p ∧ q → p ≡ (p ↔ q) v q

p p ∧ q p^q → p p p ↔ q q q (p ↔ q) v q

F F V V F F V F
F F V V V V F V
V V F F V F V V
V F V F F V F V
R=NO SON EQUIVALENTES
3. p v q ↔ p ≡ p ∨ q 22=4

p p v q p v q ↔ p p pvq q

V V F F F F
V V F F V V
F F F V V F
F V V V V V
R=NO SON EQUIVALENTES
4. (p ↔ q) ≡ (p ∧ q) v (p ∧q) R=SON EQUIVALENTES 22=4
p q p↔q p∧q (p ∧ q) v (p ∧q) p p ∧q q

F F V F V V V V
F V F F F V F F
V F F F F F F V
V V V V V F F F
23=8
5. (p → r) ∧ (q → r) ≡ (p ∧ q) → r

## p q p→r (p → r) ∧ (q → r) q→r p∧q r (p ∧ q) → r

F F V V V F F V
F F V V V F V V
F V V F F F F V
F V V V V F V V
V F F F V F F V
V F V V V F V V
V V F F F V F F
V V V V V V V V
R=NO SON EQUIVALENTES