1

Ejercicios (Valores de Certeza)

Mostrar por medio de una deduccin formal y una asignacin de certeza
si cada uno de los razonamientos siguientes es vlido o no vlido:
1. O Juan y Jos tienen la misma edad, o Juan es mayor que Jos.
Si Juan y Jos tienen la misma edad, entonces Pedro y Juan no tienen la misma
edad.
Si Juan es mayor que Jos, entonces Juan es mayor que Mara.
Por tanto o Pedro y Juan no tienen la misma edad o Juan es mayor que Mara.
2. Si es diciembre, entonces el mes anterior fue noviembre.
Si el mes anterior fue noviembre, entonces hace seis meses fue junio.
Si hace seis meses fue junio, entonces hace once meses fue enero.
Si el mes que viene ser enero, entonces ste es diciembre.
El mes pasado fue noviembre.
Por tanto, ste es diciembre.
3. Si el contrato es vlido, entonces Juan no perder el pleito.
Si Juan pierde el pleito, entonces tendr que pagar costas.
Si ha de pagar costas, entonces Pedro no recibir su dinero.
Por tanto, o Pedro no recibir su dinero o el contrato no es vlido.
4. Si Mara est en lo cierto, entonces Jaime est equivocado.
Si Jaime est equivocado, entonces Luis tambin est equivocado.
Si Luis est tambin equivocado, entonces el espectculo no es esta noche.
O el espectculo es esta noche o Jos no lo ver.
Mara est en lo cierto.
Por tanto, Jos no ver el espectculo.
5. Si Brown cumpli el contrato, entonces las mercancas fueron suministradas en
la fecha convenida.
Brown o cumpli el contrato o su registro de envo est equivocado.
Si su registro de envo est equivocado, entonces l no orden el envo el da siete.
Por tanto, las mercancas no fueron suministradas en la fecha convenida.



2
Si los razonamientos que siguen son vlidos, dar una demostracin
formal. Si no son vlidos, escribir no vlido al lado y demostrar la no
validez por una asignacin de certeza.
1. Si Antonio no es primero, entonces Pedro es primero.
Pero Pedro no es primero.
O Antonio es primero o Pablo es tercero.
Si Jaime es segundo, entonces Pablo no es tercero.
Por tanto, Jaime no es segundo.
2. Si el contrato es legal y Prez entr en el contrato, entonces Garca ganar el
pleito.
O Garca no ganar el pleito o Prez ser responsable.
Prez no ser responsable.
Por tanto, o el contrato no es legal o Prez no entr en el contrato.
3. Si esperamos a Rosa llegaremos tarde.
O no llegaremos tarde o llegaremos a la escuela despus de las 8 h, 30 m.
Si llegamos a la escuela despus de las 8 h, 30 m, entonces tenemos que
presentarnos en secretara.
Por tanto, si esperamos a Rosa, entonces o tenemos que presentarnos en
secretara o traemos una excusa por escrito.
4. Martn fue nombrado presidente.
Si Ruiz fue elegido, entonces Martn no fue nombrado presidente.
Si Alonso fue elegido, entonces la eleccin se hizo hoy.
Por tanto, si Ruiz fue elegido o Alonso fue elegido, entonces la eleccin se hizo
hoy.
5. O Mara est con Pilar o Luisa est con Pilar.
Si hoy es lunes entonces Mara est con Pilar.
Hoy es lunes.
Por tanto, Luisa no est con Pilar.



3
Consistencia
Se consideran las tres proposiciones siguientes:
1. Richard Nixon gan las elecciones presidenciales de 1960.
2. Mi hermano pequeo puede levantar un peso de dos toneladas.
3. Toms es ms alto que Andrs y Toms no es ms alto que Andrs.
Podremos probablemente convenir en que cada una de las proposiciones es falsa.
Sin embargo, sabemos que son falsas por distintas razones.
La primera proposicin se sabe que es falsa de hecho. Pero, en distintas
circunstancias, hubiera podido ser cierta. Se puede decir tambin que la segunda
proposicin es falsa, pues ningn muchacho es suficientemente fuerte para
levantar este peso en condiciones ordinarias. Todava se podran sugerir
circunstancias en las que la proposicin podra ser cierta; por ejemplo, en un navo
espacial donde los objetos no son pesados.
La tercera proposicin, sin embargo, no puede ser cierta, nunca y en ninguna
parte. Es una proposicin lgicamente imposible. No hace falta conocer el
significado de Toms es ms alto que Andrs para saber que no puede ser
cierta la proposicin. Se deduce de su forma lgica.
Una proposicin de la forma
(R) ^ ( R )
se denomina una contradiccin. Se dice que dos proposiciones son contradictorias
si una es la negacin de la otra. Una contradiccin, entonces, es la conjuncin de
una proposicin y su negacin. Siempre es falsa. La proposicin anterior es de la
forma
R ^ R
y, por tanto, es una contradiccin.
Con dos diagramas de certeza se puede mostrar fcilmente que una contradiccin
es lgicamente falsa



4
Se ve en ellos que R ^ R es falsa cualquiera que sea el valor de certeza de la
proposicin atmica R. No existe ninguna posibilidad de que sea cierta. Esta es la
razn por la que se denomina lgicamente falsa.
Hay muchas formas que puede tomar una proposicin que la hacen lgicamente
falsa. Si la proposicin no tiene la forma de una contradiccin (R ^R), puede
reconocerse utilizando las reglas de deduccin hasta llegar a una contradiccin.
Las reglas nunca permiten deducir una conclusin falsa de premisas verdaderas,
de manera que si la conclusin es lgicamente falsa, entonces la premisa ha de ser
tambin lgicamente falsa. Esto se ilustra por medio de
Ejemplo a.
(1) (S V S) P
Esta proposicin no presenta la forma de una contradiccin pero se puede deducir
S ^ S DL
y
S ^S CL
La lnea (3) es de la forma R ^R y esto demuestra que la premisa no puede ser
verdadera.
Otro ejemplo en el que la premisa es lgicamente falsa es:
Ejemplo b.
(1) (S R) ^ (S V R) P
(2) S R S 1
(3)(S V R) S 1
(4) S ^ R DL 3
(5) S S 4
(6) R S 4
(7) R PP 2, 5
(8) R ^ R A 7, 6
Las dos ltimas lneas de esta demostracin hubieran podido ser:
(7) S TT 2, 6
(8) S ^ S A 5, 7.
No importa, pues, cul sea la contradiccin que en cada caso se ha deducido.
Se sabe que una contradiccin, P ^P, es la conjuncin de una proposicin y su
negacin. Si una de las proposiciones en la conjuncin es una proposicin cierta,
entonces la otra ha de ser falsa; lgicamente no pueden ser ambas ciertas. Su
conjuncin, entonces, ha de ser una proposicin falsa.


5
Cada dos o ms proposiciones que lgicamente no pueden ser ciertas a la vez se
dice que son inconsistentes. Se dice que forman un conjunto inconsistente de
proposiciones y juntas implican una contradiccin.
En algunos casos lo que interesa no es deducir una conclusin particular, sino
deducir si un conjunto de proposiciones es consistente o inconsistente. Para
demostrar que unas premisas son inconsistentes se deduce una contradiccin.
Utilizando las reglas y mtodos de deduccin que ya conocemos, si es posible
deducir una contradiccin a partir de las premisas, se ha obtenido una
demostracin de que el conjunto de las premisas es inconsistente. Se ha
demostrado que no pueden ser todas ciertas a la vez.
El mtodo de demostracin es el que se sigue para deducir una conclusin.
En este caso, sin embargo, no se pretende deducir una conclusin particular, sino
una contradiccin cualquiera. No importa cul sea la contradiccin deducida. Puede
ser una proposicin cualquiera que tenga la forma P ^ P.
Ejemplo c.
(1) Si Antonio gana la carrera, entonces Juan queda segundo.
(2) Antonio gana la carrera.
(3) Juan no queda segundo.
Se puede ver que estas tres proposiciones no pueden ser verdaderas
simultneamente.
Sin embargo, cada dos de ellas pueden ser verdaderas a la vez.
Se pueden traducir:
(1) D J
(2) D
(3) J
Cualquiera de las dos demostraciones siguientes muestran que son inconsistentes.




6
Ejemplo d.
(1) Si la regin est cerca del ecuador, entonces el sol est siempre
prximo al zenit.
(2) Si el sol est siempre prximo al zenit, entonces la regin tiene un clima
tropical clido.
(3) Si la regin tiene latitud grande, entonces no tiene clima tropical clido.
(4) Esta regin est cerca del ecuador y tiene latitud grande.
La deduccin siguiente muestra que es posible deducir una contradiccin (lnea 10)
utilizando las reglas de inferencia lgica. Se tiene as una demostracin de que las
premisas del ejemplo son inconsistentes.

Otro ejemplo de una deduccin que muestra que las premisas simbolizadas son
inconsistentes es:
Ejemplo e.




7
Ejercicios ( Inconsistencia)