Pasos para realizar un análisis

formal de los argumentos

Haga clic en los recuadros para visualizar el contenido respectivo.

1
Descomponer el
lenguaje en enunciados 2 3 4
simples (proposiciones Asignar variables Simbolizar el Demostrar su
atómicas ), siempre en lenguaje natural corrección/incorrección
sentido afirmativo

4 4
Tablas de Método de la
verdad deducción
 1
Descomponer el lenguaje
en enunciados simples
(proposiciones atómicas ),
siempre en sentido
afirmativo

1
Lo primero que hay que hacer es descomponer el lenguaje en enunciados
simples. ¿Cuántos enunciados simples hay en los siguientes ejemplos?

Ejemplos Enunciados simples

Si eres defensor de los derechos humanos, Eres defensor de los derechos

entonces eres humanista. humanos.
Si eres humanista, entonces estás preocupado por Eres humanista.
la situación del ser humano.
Por lo tanto, si eres defensor de los derechos Estás preocupado por la
humanos, entonces estás preocupado por la situación del ser humano.
situación del ser humano.
 2
Asignar variables

2
Ahora bien, lo que sigue es asignar variables a cada uno de los enunciados
simples. Generalmente los lógicos inician con las letras p, q, r, s, t, etc.

Enunciados simples Asignación de variables

Eres defensor de los derechos p

humanos.
Eres humanista. q

Estás preocupado por la r

situación del ser humano.
 3
Simbolizar el lenguaje
natural

3
Retomando la asignación de variables hecha con anterioridad se simbolizaría
como sigue:

Premisas Variables Simbolización

en el lenguaje
artificial
Si eres defensor de los derechos
humanos, entonces eres humanista.
pq
p, q
Si eres humanista, entonces estás
preocupado por la situación del ser q, r qr
humano.
Por lo tanto, si eres defensor de los
derechos humanos, entonces estás p, r  pr
preocupado por la situación del ser
humano.
Nota: tenga presente que el signo  hace notar la implicación, y el signo  hace
notar la conclusión.
 4 4
Demostrar su Tablas de
corrección/incorrección verdad

4
Las tablas de verdad son uno de los métodos que nos permiten discernir entre
un argumento correcto de otro incorrecto (bueno de otro malo).
Para construir la tabla de verdad seguiremos los siguientes pasos.

Haga clic en el siguiente botón para visualizar el contenido respectivo.

Pasos
 Pasos

1. Pongamos las líneas que forman la tabla como se muestra a continuación:

 Pasos

2. Al realizar la tabla nos quedan cuatro cuadrantes que numeraremos para mayor entendimiento.

1 2
3 4
Pasos

3. En el cuadrante 1 pondremos las variables de los enunciados simples. Cabe mencionar que el
orden que les demos a las variables puede ser siguiendo el orden alfabético; sin embargo, lo
importante es que siempre sigamos el orden de la primera variable.

p q r
2
3 4
 Pasos

3. A continuación debemos poner el argumento simbolizado en el cuadrante 2; para ello, es

importante que sepa que las premisas se ponen entre paréntesis ( ) y se unen con el conector de la
conjunción, en este caso: ^; además se ponen entre corchetes.

Por su parte la conclusión se representa con el signo de la implicación  .

Igualmente, entre paréntesis ponemos la conclusión.

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

3 4
Pasos

4. A continuación empezaremos a escribir en el cuadrante 3 los valores veritativo-funcionales, de la

siguiente manera:
Se trazan dos líneas verticales entre las
a variables p, q y r.

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

4
 Pasos

Se despeja la fórmula
2n, donde n es el
número de variables, p q r [(p  q) ^ (q  r) ]  (p  r)
en este caso: b
(2) (2) (2) = 8; lo 1
anterior considerando
que tenemos 3
variables.
2
3 4
4
5
6
7
8
Pasos

En la primera columna, la variable “p” puede

tomar 4 veces el valor de verdadero y 4 veces el
valor de falso; es decir, la mitad y la mitad,
cubriendo de esta manera las 8 filas.
c

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

V
V

V
V
4
F
F
F
F
Pasos

En la segunda columna, la variable “q”

puede tomar 2 veces el valor de verdadero
y 2 veces el valor de falso; es decir, la
d mitad de la mitad y la mitad de la mitad
hasta cubrir las 8 filas.

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

V V
V V
V
V
F
F
4
F V
F V
F F
F F
Pasos
En la tercera columna, la variable
“r” puede tomar 1 vez el valor de
verdadero y 1 vez el valor de falso;
es decir, la mitad de la mitad de la
mitad y la mitad de la mitad de la
mitad hasta cubrir las 8 filas.
e

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

V V V
V

4
V F
V F V
V F F
F V V
F V F
F F V
F F F
 Pasos

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

V V V
V V F
V F V
Importante

Se dará cuenta que

completó
correctamente la
V
F
F
V
F
V 4
tabla de verdad si en F V F
la primera fila las
variables toman el
F F V
valor verdadero y en F F F
la octava todas
toman el valor falso.
Pasos

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

V V V V V V V V f
V V F V F F V F Finalmente, se requiere
poner el resultado de las
V F V F F V V V operaciones en 4. Para ello
considere lo siguiente:
V F F F F V V F
F V V V V V V V
F V F V F F V V 4
F F V V V V V V
F F F V V V V V
 4
Método de la
deducción

El método de la deducción será estudiado en

la unidad 3.