TABLAS DE VERDAD

Una tabla de verdad es una grafica en forma de

cruz que sirven para evaluar esquemas  CONTINGENTE O CONSISTENTE:
moleculares. Este esquema muestra como valores Cuando en su resultado final o matriz, el valor
de verdad de proposiciones compuestas, veritativo presenta por lo menos un valor
verdadero o uno falso.
dependen de los conectivos usados y de los
valores de verdad de las proposiciones
componentes simples.

VARIABLES PROPOSICIÓN
COMPUESTA

ARREGLOS
VALORES VALORES
2n PARCIALE PARCIALES

MATRIZ O
RESULTAD
O
FINAL VALORES DE VERDAD DE LOS
https://www.youtube.com/watch?v=gNdrxk5yTWU CONECTIVOS LOGICOS
CLASES DE TABLAS DE VERDAD O
p q p pq pq pq pq pq
MATRICIALES:
V V F V V V F V
 TAUTOLOGICAS:
Si contiene en su resultado final o matricial el valor V F F F V F V F
veritativo de solo Verdadero. (V). Y se representa por F V V F V V V F
una T de Tautología. F F V F F V F V
Ejemplo:

https://www.youtube.com/watch?v=t_D-
7j1Sbk8

RESOLVER LOS SIGUIENTES

EJECCICIOS

1. Construya e identifique el tipo de tabla de verdad de

los siguientes esquemas proposicionales:
a) [(p  q)  p ]  q
b) (p  q)  (q p)
 CONTRADICTORIO:
c) ¬[(p ∧ ¬q)  (p ∆ ¬r)]
Si en su resultado final o matriz, el valor veritativo es
solo falso. Se representa por (F) d) ¬¬(¬p v ¬q)  [(q ∧ ¬q) ∆ r ]
Ejemplo: e) ¬ [¬ (p  ¬q) ∧ (r ∆¬s)]

https://www.youtube.com/watch?v=a5cEaETtTNo

1
 a) (p q) q ( )
b) (p  r )  [( p  q )  q] ( )

EJERCICIOS PROPUESTOS TRABAJO INDIVIDUAL

TODOS LOS EJERCICIOS QUE VAN 1. Construya e identifique el tipo de tabla de verdad
RESOLVIENDO ME VAN ENVIANDO de las siguientes proposiciones:
a) (p  q) ∧ (q  r)  (p ∧ ¬r)
1.Se define: b) [(p v ¬ q)(p  q)][(¬p  q) v ¬p]
p q p  q c) (p  q) ∧ (q  r)  (p ∧ r)
V V F d) (p ∧ q  p v ¬r)  ¬(¬q v ¬r) ∧ r
V F V e) ¬p  (q v r) ∧ ¬s
F V F
f) (¬p ∧ q  p v r)  ¬(¬q v ¬r) ∆ r
F F F
Hallar la tabla de: g) [ (¬p v q) ∧ (r  s) ] v ¬t
  pq   p     qp   q 
2. Si la proposición:
~ [(~p v q) v (r → q)] ^ [(~p v q) → (q ^ ~p)], es
2. En el siguiente ejercicio aplica el valor de verdad
verdadera, ¿cuáles son los valores de verdad de
de los conectivos lógicos:
las variables p, q y r
Dadas las proposiciones:
3. De las proposiciones siguientes, indicar cuál es
p: Lima es la capital de Loreto.
contradicción:
q: febrero tiene 30 días
a) ~(p ^ q) ↔ (p v ~q)
r: el primero de mayo es feriado
b) ~(p → q) ↔ (p v ~q)
Calcule el valor de verdad de: c) ~(p ↔ q) ↔ (~p ↔ ~q)
~ p   ~ q  r    ~  p  q  r  6. Si la proposición: (p  q) → (q→r), es falsa,
3. Sean: p : 23 + 32 = 17 ; hallar el valor de verdad de las siguientes
Q : 62 = 36 fórmulas:
r : 3 2 + 42 > 52 b) ~(p  r)→(p  q) ( )
¿Cuál es el valor de verdad de los siguientes c) (p  ~q)→(~r  q) ( )
esquemas moleculares? d) [(p  q) v (q  ~r)]↔(p  ~r) ( )
a) (p  q)  r 7. Los valores de la verdad de las proposiciones
b) (p  r)  q “p” , “q” , “r” son respectivamente V, F y V
https://www.youtube.com/watch? Obtener los valores de verdad de:
v=xQVYG_euAVA a) [(p  q) ˅r]  s ( )
4.Si la proposición compuesta: ( p  q)  ( r  t ) es b) r→(s  p) ( )
c) (p  r)→(r  ~s) ( )
falsa, indicar las proposiciones atómicas
verdaderas. 8. Indicar el valor de:
a) (~p  ~q)↔(p  q)
 
5.Si  p  q  r  ~ p , es falso. Determine los
Es una contradicción ( )
b) [(p → q)  (q → r)]→(p → r)
valores de verdad de p y r
https://www.youtube.com/watch? Es una tautología ( )
v=J3t4G7r_5Ww c) [p  (p → q)]→(q ⋀ r)
6. Si la proposición: (p  q)  (p  q) es verdadera, Es una contingencia. ( )
entonces los valores de verdad de p y q son 9. De la falsedad de la proposición:
respectivamente. (p→~q)  (~r→s), se deduce que el valor de
 
7.Si ~ p   p  r    r  q  es falso, halle el valor verdad de los esquemas:
de verdad de:   p  q   r    p  r  a) (~p  ~q)  ~q
8.Si es verdadera la negación del siguiente esquema: b) (~r  q)↔[(~q  r)  s]
[( p  q )  ( r  s )] . Deducir el valor de las c) (p→q)↔[(p  q)  ~q]
siguientes esquemas moleculares: 10. Dada la proposición. q:4 es un número impar

a)   p  q   r  tal que: ~[(r V q)  ( r  p)] es verdadera, halle
9.Si la proposición: (p q)  (r  s) es falsa, hallar el valor de verdad de las siguientes esquemas
el valor de verdad de los siguientes esquemas moleculares:
moleculares.
2
a) r  [¬ p V ¬ q) b) [ r  (p ∧ q)]  (q ∧ ¬ p)