TABLAS DE VERDAD

Las tablas de verdad son una estrategia de la lógica simple que permite establecer
la validez de varias propuestas en cuanto a cualquier situación, es decir,
determina las condiciones necesarias para que sea verdadero un enunciado
propuesto, permitiendo clasificarlos en tautológicos (resultan verdaderos durante
cualquier situación) , contradictorios (son enunciados falsos en la mayoría de los
casos) o contingentes (enunciados que no pueden será tantos verdaderos como
falsos no existen tendencia a un solo sentido). Para ello necesitamos conocer las
siguientes propiedades:

a) Negación: Se denota mediante el símbolo “ ̴̴̴̴̴̴̴ ” ̴̴̴̴̴̴̴y se lee “ ̴̴̴̴̴̴̴no es cierto que p ” ̴̴̴̴̴̴̴
, ̴̴̴̴̴̴̴“es ̴̴̴̴̴̴̴falso ̴̴̴̴̴̴̴que ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴no ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴“.

p p
V F
F V

Ejemplo 1:

~ ( p ⟶ q ) ̴̴̴̴̴̴̴≡ ̴̴̴̴̴̴̴~ (~ p ∨ q )

≡ ̴̴̴̴̴̴̴p ∧ ~ q

Ejemplo 2:

p q ~(p ∨ ( q⟶~p))

V V F V F F
V F F V V F
F V F V V V
F F F V V V
 b) Conjunción: Se denota mediante el ̴̴̴̴̴̴̴símbolo ̴̴̴̴̴̴̴“∧ “y se lee “p y q “. ̴̴̴̴̴̴̴También
se lee: pero, a la vez, etc.

p q p∧q

V V V

V F F

F V F

F F F

Ejemplo 1:

p q (p∨q) ∧ ( p⟷ q)

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

Ejemplo 2:

( q ∧ ~ q ) ∨ ( p ∧ q ) ̴̴̴̴̴̴̴≡ ̴̴̴̴̴̴̴F ̴̴̴̴̴̴̴∨ ( p ∧ q )

≡ ̴̴̴̴̴̴̴( ̴̴̴̴̴̴̴F ̴̴̴̴̴̴̴∨ p ) ∧ ( F ∨ q )

≡ ̴̴̴̴̴̴̴p ∧ q

c) Disyunción débil: Se denota mediante el símbolo “∨” ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴se ̴̴̴̴̴̴̴lee ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴o ̴̴̴̴̴̴̴q” ̴̴̴̴̴̴̴.
 p q p∨q

V V V

V F V

F V V
F F F

Ejemplo1:

P q [(p ^ q) v q ] → ̴̴̴̴̴̴̴ (p ^ q)

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

Ejemplo2:

P q [(p ̴̴̴̴̴̴̴v ̴̴̴̴̴̴̴q) ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴↔ ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴] ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴→ p

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

d) Condicional: Se ̴̴̴̴̴̴̴denota ̴̴̴̴̴̴̴mediante ̴̴̴̴̴̴̴el ̴̴̴̴̴̴̴símbolo ̴̴̴̴̴̴̴“⟶” ̴̴̴̴̴̴̴y se ̴̴̴̴̴̴̴lee ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴Si ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴entonces ̴̴̴̴̴̴̴
q”.
 También se lee: “p implica q “, ̴̴̴̴̴̴̴“p solamente si q”, ̴̴̴̴̴̴̴“q a menos que ̴̴̴̴̴̴̴ p”.
Otra forma cambiando sentidos: “ q porque p” y “ q ya que p ”.

p q p⟶q

V V V

V F F

F V V

F F V

Ejemplo1:

P q [ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴→ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴(q ̴̴̴̴̴̴̴^ ̴̴̴̴̴̴̴p) ̴̴̴̴̴̴̴] ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴V (p ̴̴̴̴̴̴̴∆ ̴̴̴̴̴̴̴q)

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

Ejemplo 2:

P q [(p ̴̴̴̴̴̴̴∆ ̴̴̴̴̴̴̴q) ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴↔ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴] ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴V (p ^ q)

V V F F V V V
V F V V V V F
F V V F F F F
F F F V F V F
 e) Disyunción fuerte: se ̴̴̴̴̴̴̴denota ̴̴̴̴̴̴̴con ̴̴̴̴̴̴̴el ̴̴̴̴̴̴̴símbolo ̴̴̴̴̴̴̴“∆” ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴se ̴̴̴̴̴̴̴lee ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴O ̴̴̴̴̴̴̴..p.. ̴̴̴̴̴̴̴o ̴̴̴̴̴̴̴...p”.

p q p∆q

V V F

V F V

F V V
F F F

Ejemplo 1:

( p ∆ ̴̴̴̴̴̴̴q ) ̴̴̴̴̴̴̴≡ ̴̴̴̴̴̴̴~(p⟷q)

≡ ̴̴̴̴̴̴̴(p ̴̴̴̴̴̴̴∧ ~q) ∨ (q ∨ ~p)

Ejemplo 2:

p q [ (p⟶q) ∧ p] ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴∆ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴q

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

f) Bicondicional: Se denota con el símbolo “⟷ “ ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴se ̴̴̴̴̴̴̴lee ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴p ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴sólo ̴̴̴̴̴̴̴si q”. ̴̴̴̴̴̴̴
También ̴̴̴̴̴̴̴se ̴̴̴̴̴̴̴lee ̴̴̴̴̴̴̴como: ̴̴̴̴̴̴̴“p ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴solamente ̴̴̴̴̴̴̴si ̴̴̴̴̴̴̴q ̴̴̴̴̴̴̴“, ̴̴̴̴̴̴̴“p ̴̴̴̴̴̴̴es ̴̴̴̴̴̴̴una ̴̴̴̴̴̴̴condición ̴̴̴̴̴̴̴necesaria ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴
suficiente ̴̴̴̴̴̴̴para ̴̴̴̴̴̴̴que ̴̴̴̴̴̴̴p”.

p q p⟷q

V V V

V F F

F V F
F F V
Ejemplo 1:

p q [p∧ (p∨q)] ⟷ p

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

Ejemplo 2:

(~p) ⟷ ( p ⟶ ~ q ) ≡ ̴̴̴̴̴̴̴ ̴̴̴̴̴̴̴(~p) ̴̴̴̴̴̴̴⟷ (~p ∧ ~q)

≡ ̴̴̴̴̴̴̴(~p ̴̴̴̴̴̴̴∧ (~p ∧ ~q) ∨ (p∧(p ∧q))

≡ ̴̴̴̴̴̴̴(~p) ̴̴̴̴̴̴̴∨ (p)

 EJERCICIOS PROPUESTOS

1) En la siguiente tabla de verdad, halle los valores de verdad obtenidos en su

matriz principal.

[(p ⟶ q) ∨ ( ̴ p ∧ q)] ⟶ ( q ⟶ p)

RPTA: VVFV.

2) Dadas las preposiciones, p : Pedro compra el pasaje, q: Pedro se va de

viaje, ̴̴̴̴̴̴̴r: ̴̴̴̴̴̴̴Pedro ̴̴̴̴̴̴̴trabaja, ̴̴̴̴̴̴̴el ̴̴̴̴̴̴̴siguiente ̴̴̴̴̴̴̴enunciado: ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴Pedro ̴̴̴̴̴̴̴se ̴̴̴̴̴̴̴va ̴̴̴̴̴̴̴de ̴̴̴̴̴̴̴viaje ̴̴̴̴̴̴̴y ̴̴̴̴̴̴̴no ̴̴̴̴̴̴̴
compra pasajes , implica que no podrá trabajar. Pero, que haya comprado
el pasaje es condición necesaria y suficiente para que se vaya de ̴̴̴̴̴̴̴viaje”.
La anterior premisa queda representado por:

RPTA: [(q ∧ ̴ p) ⟶ ̴ r) ∧ (p ⟷ q).

3) En ̴̴̴̴̴̴̴la ̴̴̴̴̴̴̴siguiente ̴̴̴̴̴̴̴proposición: ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴Si ̴̴̴̴̴̴̴Edith ̴̴̴̴̴̴̴despierta ̴̴̴̴̴̴̴a ̴̴̴̴̴̴̴Juan ̴̴̴̴̴̴̴, ̴̴̴̴̴̴̴Ana ̴̴̴̴̴̴̴se ̴̴̴̴̴̴̴enfadará ̴̴̴̴̴̴̴, ̴̴̴̴̴̴̴
entonces ̴̴̴̴̴̴̴Edith ̴̴̴̴̴̴̴no ̴̴̴̴̴̴̴despertó ̴̴̴̴̴̴̴a ̴̴̴̴̴̴̴Juan ̴̴̴̴̴̴̴, ̴̴̴̴̴̴̴porque ̴̴̴̴̴̴̴Ana ̴̴̴̴̴̴̴no ̴̴̴̴̴̴̴está ̴̴̴̴̴̴̴enfadada”. ̴̴̴̴̴̴̴
¿Cuáles son los valores de verdad obtenidos en la matriz de su tabla de
verdad?

RPTA: VVVV.

4) Dado las preposiciones, p : Andrea postula a la Universidad Mayor de San

Marcos, q: Andrea postula a otra Universidad, t: Andrea es una buena
deportista.
Representar ̴̴̴̴̴̴̴simbólicamente ̴̴̴̴̴̴̴la ̴̴̴̴̴̴̴siguiente ̴̴̴̴̴̴̴expresión: ̴̴̴̴̴̴̴“ ̴̴̴̴̴̴̴Si ̴̴̴̴̴̴̴Andrea ̴̴̴̴̴̴̴decide ̴̴̴̴̴̴̴no ̴̴̴̴̴̴̴
postular, entonces sería una buena deportista, pero , si Andrea no es una
buena ̴̴̴̴̴̴̴deportista ̴̴̴̴̴̴̴entonces ̴̴̴̴̴̴̴postulará ̴̴̴̴̴̴̴a ̴̴̴̴̴̴̴alguna ̴̴̴̴̴̴̴universidad ̴̴̴̴̴̴̴“.

RPTA: [( ̴ p ∧ ̴ q ) ⟶ t ] ∧ [ ̴ t ⟶ (p ∨ q)]
 5) Hallar los valores en la tabla de verdad de la siguiente expresión:
~ (p ∨ q) ↔ (~ p ^ ~ q)

RPTA: VVVV

6) Hallar los valores en la tabla de verdad de la siguiente expresión:

[(p ∨ q) → (~ r ^ q)] → (q ↔ r)

RPTA: VFVVVFFV

7) Hallar los valores en la tabla de verdad de la siguiente expresión:

[(p ̴̴̴̴̴̴̴→ ̴̴̴̴̴̴̴q) ̴̴̴̴̴̴̴∨ (~ ̴̴̴̴̴̴̴q ̴̴̴̴̴̴̴^ ̴̴̴̴̴̴̴r)] ̴̴̴̴̴̴̴↔ ̴̴̴̴̴̴̴(r ̴̴̴̴̴̴̴↓ ̴̴̴̴̴̴̴q)

RPTA: FFFFFFFV

8) Hallar los valores en la tabla de verdad de la siguiente expresión:

(p ↔ q) ↔ ~ [(p → q) ^ (q → p)]

RPTA: FFFF

9) ) si ~[(q -> s) -> (p -> r)] es verdadera hallar ~(q ∧ ~s) ∧ (p ∧ ~r)

RPTA: V∧V = V

10) El análisis realizado, innecesario si nos dejamos llevar por la

precipitación, se torna necesario si nos paramos a reflexionar sobre el
 mensaje que se pretende transmitir. Verifique que el texto mostrado es o no
una contingencia.

RPTA: CONTINGENCIA

BIBLIOGRAFIA

. Matemática Básica, Eduardo Espinoza Ramos. 3era Edición

. Matemática Básica I, Moisés Lázaro C.

. Matemática Básica, Armando Venero Baldeon. 3era Edición