Pasos para realizar un anlisis

formal de los argumentos

Haga clic en los recuadros para visualizar el contenido respectivo.

1
Descomponer el
lenguaje en enunciados
simples (proposiciones
atmicas ), siempre en
sentido afirmativo

2
Asignar variables

3
Simbolizar el
lenguaje natural

4
Demostrar su
correccin/incorreccin

Tablas de
verdad

Mtodo de la
deduccin

1
Descomponer el lenguaje
en enunciados simples
(proposiciones atmicas ),
siempre en sentido
afirmativo

1
Lo primero que hay que hacer es descomponer el lenguaje en enunciados
simples. Cuntos enunciados simples hay en los siguientes ejemplos?

Ejemplos

Enunciados simples

Si eres defensor de los derechos humanos,

entonces eres humanista.

Eres defensor de los derechos

humanos.

Si eres humanista, entonces ests preocupado por

la situacin del ser humano.

Eres humanista.

Por lo tanto, si eres defensor de los derechos

humanos, entonces ests preocupado por la
situacin del ser humano.

Ests preocupado por la

situacin del ser humano.

2
Asignar variables

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

Enunciados simples

Asignacin de variables

Eres defensor de los derechos

humanos.

Eres humanista.

Ests preocupado por la

situacin del ser humano.

3
Simbolizar el lenguaje
natural

3
Retomando la asignacin de variables hecha con anterioridad se simbolizara
como sigue:
Premisas

Variables

Si eres defensor de los derechos

humanos, entonces eres humanista.

p, q

pq

q, r

qr

p, r

pr

Si eres humanista, entonces ests

preocupado por la situacin del ser
humano.
Por lo tanto, si eres defensor de los
derechos humanos, entonces ests
preocupado por la situacin del ser
humano.

Simbolizacin
en el lenguaje
artificial

Nota: tenga presente que el signo hace notar la implicacin, y el signo hace
notar la conclusin.

Demostrar su
correccin/incorreccin

Tablas de
verdad

4
Las tablas de verdad son uno de los mtodos 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 botn para visualizar el contenido respectivo.

Pasos

Pasos
1. Pongamos las lneas que forman la tabla como se muestra a continuacin:

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

1
3

2
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 alfabtico; sin embargo, lo
importante es que siempre sigamos el orden de la primera variable.

2
4

Pasos
3. A continuacin debemos poner el argumento simbolizado en el cuadrante 2; para ello, es
importante que sepa que las premisas se ponen entre parntesis ( ) y se unen con el conector de la
conjuncin, en este caso: ^; adems se ponen entre corchetes.
Por su parte la conclusin se representa con el signo de la implicacin .
Igualmente, entre parntesis ponemos la conclusin.

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

Pasos
4. A continuacin empezaremos a escribir en el cuadrante 3 los valores veritativo-funcionales, de la
siguiente manera:

Se trazan dos lneas verticales entre las

variables p, q y r.

p
r

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

Pasos

Se despeja la frmula 2n,

donde n es el nmero de
variables, en este caso:
(2) (2) (2) = 8; lo
anterior considerando
que tenemos 3 variables.

p
r

1
2
3
4
5
6
7
8

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

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
r
V
V
V
V
F
F
F
F

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

Pasos

p
r
V
V

q
V

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
mitad de la mitad y la mitad de la mitad
hasta cubrir las 8 filas.

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

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) ^ (q r) ] (p r)

p
r
V
V

q
V

Pasos

Importante
Se dar cuenta que
complet
correctamente la
tabla de verdad si en
la primera fila las
variables toman el
valor verdadero y en
la octava todas
toman el valor falso.

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

p
r
V
V

q
V

Pasos

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

p
r
V
V

q
V

Finalmente, se requiere
poner el resultado de las
operaciones en 4. Para ello
considere lo siguiente:

4
Mtodo de la
deduccin

El mtodo de la deduccin ser estudiado en

la unidad 3.