1

MATEMATICA
DISCRETA (MAT-151)
Demostración de la validez o invalidez de
Argumentos

Santo Domingo, Rep. Dom.

 2

CONTENIDO
 Demostración de la validez e invalidez de argumentos.

 Formas válidas elementales.

 Demostración Formal de la validez de argumentos.

 3

DEMOSTRACION DE LA
VALIDEZ O INVALIDEZ
DE ARGUMENTOS
 4

Demostración formal de la validez del argumento

Validez de un argumento:

Un argumento es válido o es correcto cuando no hay

ninguna posibilidad de valores de verdad que haga que
todas las premisas sean verdaderas y la conclusión falsa.
Si existe tal posibilidad, el razonamiento no sería válido.

Suponga que tenemos el argumento:

P1, P2 , P3, ..., Pn / Q,

se define como válido cuando:

No existe ninguna posibilidad que simultáneamente

haga P1, P2 , P3, ..., Pn verdaderas y Q falsa.
 5

Demostración de la validez o invalidez de argumentos

1. Método de la tabla de verdad

Ejemplo 1:
Pruebe la validez o no del siguiente argumento mediante la tabla de
verdad.
p  q, p, / q

  

p q p q p q [(p q) ^ p]→q

0 0 1 0 0 1
0 1 1 0 1 1
1 0 0 1 0 1
1 1 1 1 1 1

Respuesta: p  q, p, /  q es válido.
 6

Demostración de la validez o invalidez de argumentos

Ejemplo 2:
Pruebe la validez o no del siguiente argumento mediante la tabla de

verdad.
p  (q  r), p, /  q  r
  
p q r p (q  r) p qr [(p  (q  r)  p] (q  r)

0 0 0 0 1 0 1
0 0 1 0 1 0 1
0 1 0 0 1 0 1
0 1 1 1 1 1 1
1 0 0 1 0 0 1
1 0 1 1 0 0 1
1 1 0 1 0 0 1
1 1 1 1 0 1 1

Respuesta: p  ( q  r ),  p, /  q  r es válido.
 7

Demostración de la validez o invalidez de argumentos

Ejemplo 3:
Pruebe la validez o no del siguiente argumento mediante la tabla de
verdad.
p  ( q  r ), ( p  q ), /  r

  
p q r p (q  r) (p  q) r [(p  ( q  r ))  ( p  q )]  r
0 0 0 0 1 0 1
0 0 1 0 1 1 1
0 1 0 0 1 0 1
0 1 1 1 1 1 1
1 0 0 1 1 0 0
1 0 1 1 1 1 1
1 1 0 1 0 0 1
1 1 1 1 0 1 1

Respuesta: el argumento p  ( q  r ),  ( p  q ), /  r, no es válido.

8
 9

Demostración de la validez o invalidez de argumentos

2. Método Abreviado:

Si en la demostración de la validez de un argumento partimos de

que este no es válido, y en el proceso no determinamos ninguna
incoherencia respecto a los valores de verdad que deben resultar,
entonces el argumento es tal como lo asumimos; es decir, el
argumento no es válido.

Ahora bien, si determinamos alguna incoherencia respecto a los

valores de verdad que deben resultar, entonces el argumento es lo
contrario de lo que asumimos; es decir, el argumento es válido.
 10

Demostración de la validez o invalidez de argumentos

Ejemplo 1:
Traduzca el siguiente argumento en notación lógica y
proporcione una demostración de su validez mediante
el método abreviado.

Si obtengo el puesto y trabajo duro, entonces me

ascenderán. Si me ascienden seré feliz. No seré
feliz. Por lo tanto, no obtendré el puesto o no
trabajaré duro.
 11

Demostración de la validez o invalidez de argumentos

Ejemplo 1:
Traduzca el siguiente argumento en notación lógica y proporcione una
demostración de su validez mediante el método abreviado.

Si obtengo el puesto y trabajo duro, entonces me ascenderán. Si me

ascienden seré feliz. No seré feliz. Por lo tanto, no obtendré el puesto o no
trabajaré duro.

Su notación lógica es:

(p  q)  r, r  s,  s, /  p   q

2 2 4 6 3  7 5  1

p q r s (p  q)  r rs s p  q
1 1 1 0 1 0 1 0

Respuesta: El Argumento es válido.

 12

Demostración de la validez o invalidez de argumentos

Ejemplo 2:
Traduzca el siguiente argumento en notación lógica y
proporcione una demostración de su validez mediante el
método abreviado.

Si estudio leyes, entonces ganaré mucho dinero. Si

estudio arqueología, entonces viajaré mucho. Si gano
mucho dinero o viajo mucho, seré feliz. Por lo tanto si
soy feliz, no estudié leyes y no estudié arqueología.
 13

Demostración de la validez o invalidez de argumentos

Ejemplo 2:
Traduzca el siguiente argumento en notación lógica y proporcione una demostración de
su validez mediante el método abreviado.

Si estudio leyes, entonces ganaré mucho dinero. Si estudio arqueología,

entonces viajaré mucho. Si gano mucho dinero o viajo mucho, seré feliz. Por lo
tanto si soy feliz, no estudié leyes y no estudié arqueología.

Su notación lógica es:

p  q, r  s, ( q  s )  t / t  ( p   r)
2 4 2 6 2 3 5  7  1

p q r s t pq rs (q  s)  t t  ( p  r)

1 1 1 1 1 1 1 1 0
1 0
0 1

Respuesta: El Argumento no es válido.

 14

Demostración de la validez o invalidez de argumentos

Ejemplo 3:
Traduzca el siguiente argumento en notación lógica y
proporcione una demostración de su validez mediante el
método abreviado.

Si mis cálculos son correctos y pago la cuenta de

electricidad, me quedaré sin dinero. Si no pago la
cuenta de electricidad, me cortarán la corriente. Por lo
tanto, si no me he quedado sin dinero y no me han
cortado la corriente entonces mis cálculos son
incorrectos.
 15

Demostración de la validez o invalidez de argumentos

Ejemplo 3:
Traduzca el siguiente argumento en notación lógica y proporcione una demostración de
su validez mediante el método abreviado.

Si mis cálculos son correctos y pago la cuenta de electricidad, me quedaré sin

dinero. Si no pago la cuenta de electricidad, me cortarán la corriente. Por lo tanto,
si no me he quedado sin dinero y no me han cortado la corriente entonces mis
cálculos son incorrectos.

Su notación lógica es:

(p  q)  r,  q  s, / ( r   s)   p

2 4 2 2 5 3  1

p q r s (p  q)  r q  s ( r  s)  p
1 1 0 0 1
0 1 0

Respuesta: El Argumento es válido.

16
 17

FORMAS VALIDAS
ELEMENTALES
 18

Formas Válidas Elementales

No. EXPRESION LOGICA NOMBRE
1 ( p) / p Doble Negación (DN):

2 p → q, p / q Modus Ponendo Ponens (PP)

3 p → q, q / p Modus Tollendo Tollens (TT)

4 p, q / p  q. pq/poq Adjunción (A) y Simplificación (S)

5 p  q, p / q. p  q,  q / p Modus Tollendo Ponens (TP)

6 p  q, p → r, q → s / r  s Silogismo Disyuntivo (SD)

7 p → q, q → r / p → r Silogismo Hipotético (SH)

8 p → q / p → (p  q) Ley de Absorción (ABS)

 19

DEMOSTRACION
FORMAL DE LA VALIDEZ
DE RAZONAMIENTOS
 20

Demostración formal de la validez del razonamiento

Ejemplo 1:
En el siguiente ejemplo, demostrar: x ≠ 0
(1) x = 0 → x = y P
(2) x = y → x = z P
(3) x ≠ z P
(4) x≠y TT 2, 3
(5) x≠0 TT 1, 4
 21

Demostración formal de la validez del razonamiento

Ejemplo 2:
En el siguiente ejemplo, demostrar: ~ (~ R)
(1) P → Q P
(2) ~ Q P
(3) ~ P → R P
(4) ~ P TT 1, 2
(5) R PP 3, 4
(6) ~ (~ R) DN 5
 22

Demostración formal de la validez del razonamiento

Ejemplo 3:
En el siguiente ejemplo, demostrar: A
(1) B → C P
(2) ~ B → ~ (~ A) P
(3) ~ C P
(4) ~ B TT 1, 3
(5) ~ (~ A) PP 2, 4
(6) A DN 5
 23

Demostración formal de la validez del razonamiento

Ejemplo 4:
En el siguiente ejemplo, demostrar: ~ p
(1) (p  q) → (r  s) P
(2) (r  s) → ~ t P
(3) t P
(4) ~(r  s) TT 2, 3
(5) ~(p  q) TT 1, 4
(6) ~p  ~q D’MORGAN 5
(7) ~p S6
 24

MUCHAS GRACIAS...

Miguel Angel Sánchez Almonte

msancheza@unapec.edu.do
sanchezmiguel@yahoo.com