Actividad 3.

Tablas de verdad

1. Clasificar las siguientes fórmulas en tautológicas, contingentes o contradictorias.

a) ( p ∧q) → q
p q ( p ∧q) → q
1 1 1111 1
1 0 100 1 0
0 1 001 1 1
0 0 000 1 0
Tautológica

a) ¬ ( ¬ q ↔ ¬r ) →(q ∨r )

a) ¬[¬ ( ¬r ↔ ¬ s ) ∨ ( p ∨¬q ) ]
b) ¬(r ∨q)→( p∨ ¬ p)
c) ¬[¬ ( s ∨r ) ∨ ( ¬r → s ) ]

2. Probar mediante tablas de verdad esta selección de tautologías notables.

a) Principio de identidad: A→ A
b) Principio de no contradicción: ¬( A ∧¬ A)
c) Principio del tercero excluso: ¬ A∨ A
d) Paradoja positiva del condicional material: A →(B→ A)
e) Paradoja negativa del condicional material: ¬ A →( A → B)
f) Paradoja de conmesurabilidad: ( A → B ) ∨(B → A )
g) Principio de explosión o del Seudoscoto: ( A ∧¬ A )→ B
Morro 2
h) Ley de Clavius: (¬ A → A)→ A
i) Ley de Peirce: (( A → B)→ A )→ A

3. Probar mediante tablas de verdad la validez de las formas argumentales de a) hasta l) y la

invalidez de m) y n).

a) Modus ponens: { A→B, A}⊨B

b) Modus tollens: { A → B , ¬ B } ⊨¬ A
c) Simplificación:: { A ∧ B} ⊨ A
d) Conjunción: { A , B }⊨ A ∧ B
e) Adición: { A} ⊨ A ∨ B
f) Silogismo hipotético: { A → B , B → C }⊨ A → C
g) Silogismo disyuntivo: { A ∨ B ,¬ A } ⊨ B
h) Dilema constructivo: { A → B , C → D , A ∨C } ⊨ B ∨ D
i) Dilema destructivo: { A → B , C → D , ¬ B ∨¬ D } ⊨¬ A ∨¬C
 j) Absorción: { A → B } ⊨ A →( A ∧ B)
Morro 3
k) Adjunción: { A → B , A →C }⊨ A →(B ∧C)
l) Prueba por casos: { A ∨ B , A →C , B →C }⊨C
m) Falacia de negación del antecedente: { A → B , ¬ A } ⊭¬ B
n) Falacia de afirmación del consecuente: { A → B , B }⊭ A

4. Probar con tablas de verdad las equivalencias notables.

a) Doble negación
a. ¬¬ A ≡ A
b) Tautología o idempotencia
a. A ∧ A ≡ A
b. A ∨ A ≡ A

Morro 3
c) Conmutatividad
a. A ∧ B ≡ B∧ A
b. A ∨ B ≡ B∨ A
d) Absorción
a. ( A ∧ B)∨ A ≡ A
b. ( A ∨ B)∧ A ≡ A
e) Asociatividad
a. ( A ∧ B ) ∧C ≡ A ∧(B∧ C)
b. ( A ∨ B ) ∨C ≡ A ∨(B∨ C)
Morro 4
f) Distributividad
a. A ∧ ( B ∨C ) ≡ ( A ∧ B ) ∨( A ∧C)
b. A ∨ ( B ∧C ) ≡ ( A ∨ B ) ∧( A ∨C)
g) Leyes de De Morgan
a. ¬ ( A ∧ B ) ≡¬ A ∨ ¬ B
b. ¬ ( A ∨ B ) ≡¬ A ∧ ¬ B

5. Probar con cualquier método semántico (tablas de verdad, definiciones semánticas,

asignación de valores) si los siguientes argumentos son válidos.

a) Si bailo con Juana, entonces me divierto. Si no bailo con Juana, entonces no me

divierto. Por consecuencia, me divierto cuando y solamente cuando bailo con
Juana.
(B = Bailo con Juana; D = Me divierto)

b) Si el delfín es un mamífero, entonces toma oxígeno del aire. Si toma su oxígeno del
aire, entonces no necesita branquias. El delfín es un mamífero y vive en el océano.
Por tanto, no necesita branquias.
(D = El delfín es un mamífero; O = [La ballena] toma oxígeno del aire; N = [La ballena]
necesita branquias; V = [La ballena] vive en el océano)

c) Si hay poco maíz, entonces la tortilla debe ser más cara. Pero no es cierto que hay
poco maíz. Por consecuencia, la tortilla no deber ser más cara.
(M = Hay poco maíz; T = La tortilla debe ser más cara).

d) Si dices la verdad, te odiarán los humanos; si mientes, te odiarán los dioses. Pero o
dices la verdad o mientes. De ahí se sigue que te odiarán los humanos o te odiarán
los dioses.
(V = Dices la verdad; M = Mientes; H = Te odiarán los humanos; D = Te odiarán los
dioses).

e) El reducir el subsidio de la gasolina es condición suficiente para elevar su precio.

Los transportistas necesitarán más dinero para comprar la gasolina si su precio se
eleva, y si necesitan más dinero incrementarán el valor del pasaje. Así, si se reduce
el subsidio de la gasolina, se incrementará el valor del pasaje.
(R = Reducir el subsidio de la gasolina; P = Se elevan los precios [de la gasolina]; T = Los
transportistass necesitan más dinero; I = [Los transportistas] incrementan el valor del
pasaje).

f) Si vamos al bosque, entonces haremos una fogata si hace frío y pasearemos si no

hace frío. Por tanto, si vamos al bosque, haremos una fogata o pasearemos.
(B = Vamos al bosque; H = Haremos una fogata; F = Hace frío; P = Pasearemos).

g) Si en Marte hay vida, entonces en Marte hay agua. Hoy sabemos que en Marte hay
agua. Por consecuencia, en Marte hay vida.
(V = En Marte hay vida; A = En Marte hay agua).

h) Si la reforma no es aprobada, entonces la ley seguirá con la prohibición de

prórrogas. Si la ley sigue con la prohibición de prórrogas, entonces no habrá tiempo
suficiente para el trabajo de la comisión. O hay tiempo suficiente para el trabajo de
la comisión o la investigación se retrasará tres meses. Pero la investigación no se
retrasará tres meses. Por tanto, la reforma será aprobada.
(R = La reforma fue aprobada; L = La ley sigue con la prohibición de prórrogas; T = Hay
tiempo suficiente para el trabajo de la comisión; I = La investigación se retrasará tres
meses).