Algebra Superior

Lógica y conjuntos
Validez de argumentos
 Álgebra superior

Anatomía de un argumento
Ya hemos visto la definición de proposición simple (atómica) y
proposición compuesta (molecular), sabemos que a cada una de ellas
se le puede asignar un valor de verdad: cierto (1) o falso (0).
El siguiente paso es combinar un conjunto de proposiciones en una
forma muy particular que llamaremos argumentos.

María de Jesús Orozco Arellanes

 Álgebra superior

Anatomía de un argumento
Analicemos lo siguiente:

( Q → ( R  S ) )  ( Q  S )  ( ( R → Q ) → S ) → R  S
Es una proposición compuesta y el conector dominante es una implicación.
El antecedente es una conjunción con tres proposiciones y el consecuente es
una sola proposición (en este caso compuesta). Esta es la estructura a la que
llamaremos “argumento”.

María de Jesús Orozco Arellanes

 Álgebra superior

Anatomía de un argumento
( Q → ( R  S ) )  ( Q  S )  ( ( R → Q ) → S ) → R  S
Este argumento lo vamos a escribir de manera diferente, pero confiamos en
que el alumno va a recordar que el antecedente es un conjunto de
proposiciones conectadas todas con “y”, y el consecuente es una sola
proposición.
A las proposiciones que forman parte del
Q → R  S antecedente de un argumento les vamos
a cambiar el nombre y las llamaremos
Q  S PREMISAS

( R → Q) → S
Al consecuente de la implicación le
RS vamos a cambiar el nombre y lo
llamaremos CONCLUSIÓN

En este caso el argumento tiene

María de tres premisas
Jesús Orozco Arellanes (una por renglón)
 Álgebra superior

Anatomía de un argumento
Como el argumento es una implicación, esa implicación va a tener un valor de
verdad de acuerdo a los valores de verdad que tengan las premisas.
Nos vamos a ocupar solamente de las implicaciones cuyo valor de verdad sea cierto
(1) y cuyo antecedente también sea cierto (en automático el consecuente debe
también ser cierto).
Bajo éstas condiciones a los argumentos se les denomina VÁLIDOS

Q → R  S
Si un argumento es válido entonces
TODAS sus premisas son ciertas y…
Q  S
( R → Q) → S
RS La conclusión también es cierta

María de Jesús Orozco Arellanes

 Álgebra superior

Validez de un argumento
Para averiguar si un argumento es válido podemos hacer la tabla de
verdad que le corresponde a la implicación. Por ejemplo:
Q → R En éste caso tenemos tres
proposiciones simples,
S debemos hacer una tabla
de 23 = 8 renglones.
( R → Q)  S
RS

María de Jesús Orozco Arellanes

 Álgebra superior

Validez de un argumento
P2 P1 P3
Q R S Q Q → R R→Q ( R → Q)  S RS P1  P2  P3 P1  P2  P3 → R  S

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

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

Para éste argumento la implicación es

cierta sin importar el valor de verdad
que tengan las proposiciones simples
María de Jesús Orozco Arellanes
 Álgebra superior

Validez de un argumento
P2 P1 P3
Q R S Q Q → R R→Q ( R → Q)  S RS P1  P2  P3 P1  P2  P3 → R  S

0 0 0 1 0 1 0 0 0 1
0 0 1 1 0 1 1 1 0 1
0 1 0 1 1 0 0 1 0 1
0 1 1 1 1 0 0 1 0 1
1 0 0 0 1 1 0 0 0 1
1 0 1 0 1 1 1 1 1 1 Nos fijamos en los
renglones para los
1 1 0 0 1 1 0 1 0 1
cuales P1, P2 y P3
1 1 1 0 1 1 1 1 1 1 sean verdaderas

María de Jesús Orozco Arellanes

 Álgebra superior

Validez de un argumento Ésta es la conclusión del argumento

P2 P1 P3
Q R S Q Q → R R→Q ( R → Q)  S RS P1  P2  P3 P1  P2  P3 → R  S

0 0 0 1 0 1 0 0 0 1
0 0 1 1 0 1 1 1 0 1
0 1 0 1 1 0 0 1 0 1
0 1 1 1 1 0 0 1 0 1
1 0 0 0 1 1 0 0 0 1
1 0 1 0 1 1 1 1 1 1 ESTE ARGUMENTO ES VÁLIDO
1 1 0 0 1 1 0 1 0 1
En todos los renglones
1 1 1 0 1 1 1 1 1 1 donde las tres premisas
fueron ciertas, la
conclusión también lo fue.
Esta es la razón por la que
En los renglones marcados nos fijamos
el argumento se
qué valor de verdad tiene la conclusión
denomina válido
María de Jesús Orozco Arellanes
 Álgebra superior

Validez de un argumento
Analicemos otro argumento

Q → R Nuevamente (qué extraño

¿no?) tenemos tres
S proposiciones simples,
( R → Q)  S debemos hacer una tabla
de 23 = 8 renglones.
RS

María de Jesús Orozco Arellanes

 Álgebra superior

Validez de un argumento Ésta es la conclusión del argumento

P2 P1 P3
Q R S Q Q → R R→Q ( R → Q)  S RS P1  P2  P3 P1  P2  P3 → R  S

0 0 0 1 0 1 0 0 0 1
0 0 1 1 0 1 1 0 0 1
0 1 0 1 1 0 0 0 0 1
0 1 1 1 1 0 0 1 0 1 En este argumento hay un
renglón donde las tres
1 0 0 0 1 1 0 0 0 1 premisas son cierta y la
1 0 1 0 1 1 1 0 1 0 conclusión es falsa,
casualmente es el renglón
1 1 0 0 1 1 0 0 0 1 donde la implicación
1 1 1 0 1 1 1 1 1 1 resultó falsa.
Este argumento es
NO VÁLIDO

Para éste argumento

hay un caso donde la
implicación es falsa
María de Jesús Orozco Arellanes
 Álgebra superior

Validez de un argumento

Una estructura lógica cuyo valor de verdad sea siempre verdadero se llama tautología, su
importancia radica en que no importan los valores de verdad de las proposiciones simples, en
todos los casos se obtiene lo mismo.
Los argumentos válidos son tautologías, lo cual significa que no importa qué valor de verdad
tengan las proposiciones simples, el argumento siempre será verdadero.

María de Jesús Orozco Arellanes

 Álgebra superior

Validez de un argumento
Sabiendo lo anterior, podemos ahorrarnos dos columnas en el análisis
de la validez.
En el siguiente ejemplo aunque no se pongan las dos últimas columnas
el procedimiento es exactamente el mismo.

Q → R
S
Otra vez la tabla tiene
( R → Q)  S 23 = 8 renglones.

R→S

María de Jesús Orozco Arellanes

 Álgebra superior

Validez de un argumento
Ésta es la conclusión del argumento
P2 P1 P3
Q R S Q Q → R R→Q ( R → Q)  S R→S
0 0 0 1 0 1 0 1
0 0 1 1 0 1 1 1
0 1 0 1 1 0 0 0
0 1 1 1 1 0 0 1
1 0 0 0 1 1 0 1
1 0 1 0 1 1 1 1 Nos fijamos en los
renglones para los
1 1 0 0 1 1 0 0 cuales P1, P2 y P3
1 1 1 0 1 1 1 1 sean verdaderas

En este argumento también los Este argumento es

renglones marcados tienen una VÁLIDO
conclusión cierta
María de Jesús Orozco Arellanes
 Álgebra superior

Conclusión
• Este método para analizar la validez de un argumento es confiable
pero no es práctico.
• Para aplicarlo es necesario asignar adecuadamente los valores de
verdad a cada proposición e identificar adecuadamente las
proposiciones compuestas, las premisas y la conclusión involucradas
en el argumento

María de Jesús Orozco Arellanes