Susana Rubn Rivero

Pag 1
Ejemplos de Traduccin de Argumentos de lenguaje a smbolos y
revisin de validez con ceros y unos

Pasar un argumento escrito en lenguaje a smbolos y averiguar si es o no vlido. Se deber

entender que cada oracin es una hiptesis diferente, es decir, cada punto y seguido es una
proposicin diferente. Cuando sea (punto y seguido) . Por lo tanto (sta ser la
conclusin).

Ejemplo 1
Sean; P:
Pongo el caf
P:
Me echan pleito
E:
Me enojo
L:
Lloro
ARGUMENTO: Pongo el caf y me echan pleito. Si Me echan pleito entonces me enojo o lloro. Si me
enojo, entonces no pongo el caf. Por lo tanto lloro.
El argumento queda como sigue:
1)

C P
P (E L)
E C

L
Otra manera de escribir el argumento:
2) C P, P (E L), E C L

o tambin:

3)
C P P E L
E C 

Para que el argumento sea vlido, necesita ser una tautologa, es decir siempre verdadero. La idea
usando el mtodo directo, es que suponiendo las hiptesis ciertas, la verdad de las proposiciones
fuerce a que la conclusin sea verdadera. En el indirecto, la idea es que suponiendo la conclusin falsa,
e intentando asignar valores tales a las proposiciones, las hiptesis resulten ciertas. Si a pesar de todos
nuestros esfuerzos, al menos una de ellas resulta falsa, entonces el argumento es vlido.
Mtodo Directo:

As la idea es que suponiendo

C P

cierta, P ( E L) cierta y

E C ciertas, la L quede obligada a ser cierta, si eso pasa, entonces el argumento ser vlido.
Por otro lado, si la L no queda OBLIGADA a ser cierta, el argumento es no vlido .
Ahora la idea es asignar valores de verdad a cada una de las proposiciones anteriores. En caso de que
el juego de valores que se use NO SEA UNICO, deber realizarse una prueba diferente con cada juego
de valores posible. Es por esta razn que se busca empezar a asignar valores a las proposiciones que
quedan obligadas a tener solo un juego de valores, es decir, las que estn sueltas o las que contengan el
smbolo , (conjuncin).
As, en nuestro caso empezamos asignando valores a C P , la nica manera de que sea cierta es
que tanto C como P sean ciertas, porque es una conjuncin, por lo tanto C y P ya tienen valor de verdad
obligado.
C P
1
1

Susana Rubn Rivero

Pag 2
Ejemplos de Traduccin de Argumentos de lenguaje a smbolos y
revisin de validez con ceros y unos

Una vez asignados valores a alguna o algunas proposiciones, estos se debern repetir si las
proposiciones vuelven a aparecer en el argumento como es nuestro caso, en la segunda hiptesis hay
una P que tambin es cierta
P E L
1
y en la tercera hiptesis hay una C que resulta falsa ya que C es cierta.
E C
0
Ahora, de esas dos hiptesis la que nos conviene intentar es la tercera, porque es la nica que queda
obligada a tener SOLO UN JUEGO DE VALORES, dado que acaba en un falso, deber nacer de un falso
para que la implicacin pueda resultar cierta. As que a E LE TENEMOS QUE ASIGNAR EL VALOR DE
FALSO 0, para que la implicacin resulte cierta
E C
0
0
entonces como ya le dimos valor a E, tenemos que aplicarle el mismo valor de verdad en la segunda
hiptesis
P E L
1
0
Tambin queda obligada, como la implicacin nace de un cierto, debe aterrizar en un cierto para ser
cierta, ahora como E es falsa, la nica opcin para que E L sea cierta es que L TIENE QUE SER
CIERTA, as,
P E L
1
0 1
Y la segunda hiptesis resulta cierta, ahora vemos que como L es la conclusin ya QUEDO OBLIGADA
A SER CIERTA, por lo tanto el ARGUMENTO ES VALIDO.

Ejemplo 2
Si el coche est fabricado en Inglaterra (I) entonces las partes son difciles de obtener (O). Este carro es
caro (C) o no es difcil obtener partes de l. Este carro no es caro. Por lo tanto, no fue fabricado en
Inglaterra.
El argumento queda:

 
 

 

Otra manera de escribirlo: :

Otra manera de escribirlo: :

  ,   ,   
          
 

Susana Rubn Rivero

Pag 3
Ejemplos de Traduccin de Argumentos de lenguaje a smbolos y
revisin de validez con ceros y unos

Este argumento se comienza con la tercera hiptesis que es la que queda fija , as a  se le asigna
el valor de cierta, por lo que  deber ser falsa. Como la letra C se repite en la hiptesis dos, le
repartimos el valor con lo que queda:
 
0
Ahora la nica manera de que la hiptesis sea cierta es que  sea cierta, por lo que asignamos
valor y queda:
 
0
1
Como  es cierta,  debe ser falsa, y como aparece una O en la primera hiptesis le asignamos
este valor con lo que queda:
 
0
Ahora como esta es una implicacin que termina en un falso, la nica opcin para que sea cierta es que
nazca de un falso, es decir que I sea falsa :
 
0
0
As la hiptesis queda cierta. Ahora, como  est en la conclusin, QUEDA OBLIGADA A SER
CIERTA. Por lo tanto este argumento tambin es vlido.

Ejemplo 3
Sean:
T
hay trabajo
H:
hay hambre
F:
hay felicidad
R:
hay revolucin
Dictar:
Si no hay trabajo, entonces hay hambre. Si hay hambre entonces no hay felicidad. Hay felicidad o hay
revolucin. No hay revolucin. Por lo tanto, hay trabajo.
El argumento queda :


 
 

 

Otra forma:
 ,  ,

  ,   

Susana Rubn Rivero

Pag 4
Ejemplos de Traduccin de Argumentos de lenguaje a smbolos y
revisin de validez con ceros y unos

Otra forma
                
 

Para probar validez para este comenzamos por la tercer hiptesis que es una sola proposicin negada,

es falsa y como se repite en la tercera hiptesis le
ponemos su valor de verdad:

 
1
0
Ahora, esa hiptesis para ser cierta, OBLIGA A F a ser cierta, por lo que queda fija. Como la F se repite
en la segunda hiptesis en donde aparece negada, le asignamos su valor de verdad que es falso:
 
 
1 0
0
Ahora deseamos que
   sea cierta para lo que se requiere que H sea falso:
 
0
0
As nos queda la primera hiptesis donde vuelve a aparecer la H, le asignamos su valor

0
y vemos que como  es falsa, la implicacin requiere para resultar cierta, que  sea tambin
falsa :

0
0

, que debe ser cierta, por lo tanto

Como la conclusin es  QUEDA OBLIGADA A SER CIERTA y por lo tanto, el argumento resulta

vlido.