Tarea 5.

Solucin
G. Becerril, J. Santibez
Nivel 1
Utilice el mtodo de resolucin para determinar si los siguientes conjuntos de proposiciones son
consistentes.
Nota: Un conjunto de proposiciones ser inconsistente si de l puede resolverse la clusula vaca.
1.

{(

)
} y que las clusulas asociadas a la
Es fcil ver que la clusula asociada a (
es {
{
},
{ }
proposicin
son { } y { }. As, obtenemos el conjunto de clusulas
{ }. En la siguiente imagen se muestra el conjunto completo de resolventes y cmo se obtienen a
y
partir de
y .

Ya que no se resuelve la clusula vaca, vemos que el conjunto de proposiciones es consistente.

2.

{(

)}

No es difcil ver que las clusulas asociadas a la primera proposicin (

{
}, que las clusulas asociadas a la segunda proposicin
(
) tiene asociada la clusula
{
la tercera proposicin
muestra cmo obtener la clusula vaca mediante resolucin.

Como es posible resolver la clusula vaca a partir de

inconsistente.

)
son

{
}y
son
{ }y
{ } y que
}. En la siguiente imagen se

, concluimos que se trata de un conjunto

Utilice el mtodo de resolucin para determinar la validez de los siguientes argumentos.

3. Argumento 1.
Premisas:
Conclusin:

{
}, que la clusula asociada a la
Es fcil ver que la clusula asociada a la proposicin
es
(
) es
{
}, que las clusulas asociadas a la proposicin
proposicin
son
{ } y que la clusula asociada a la negacin de la conclusin
{ }. En la
{ }y
es
siguiente imagen se muestra cmo resolver la clusula vaca a partir de las clusulas anteriores.

Como la clusula vaca pudo resolverse a partir del conjunto de clusulas asociadas a las premisas y a la
negacin de la conclusin, entonces tal conjunto es inconsistente y, por lo tanto, el argumento es vlido.

4. Argumento 2.
Premisas:
Conclusin:

(
) es
{
}, que la clusula
Es fcil ver que la clusula asociada a la primera premisa
{
}, que la clusula asociada a la tercera premisa es
asociada a la segunda premisa
es
{
} y, finalmente, las clusulas asociadas a la negacin de la conclusin (
) (
)
{ }y
{ }. En la siguiente imagen se muestra cmo resolver la clusula vaca a partir de las
son
clusulas anteriores.

Como la clusula vaca pudo resolverse a partir del conjunto de clusulas asociadas a las premisas y a la
negacin de la conclusin, entonces tal conjunto es inconsistente y, por lo tanto, el argumento es vlido.

5. Muestre que las siguientes reglas de inferencia son vlidas.

a) Dilema Constructivo
Premisas: (
Conclusin:

Con el mtodo de resolucin:

) (
) son
Es fcil ver que las clusulas asociadas a la primera premisa (
{
} y
{
}, que la clusula asociada a la segunda premisa
es
{ } y que las clusulas
) (
) son
{ } y
{ }. En la
asociadas a la negacin de la conclusin (
siguiente imagen se muestra cmo resolver la clusula vaca a partir de las clusulas anteriores.

Como la clusula vaca pudo resolverse a partir del conjunto de clusulas asociadas a las premisas y a la
negacin de la conclusin, entonces tal conjunto es inconsistente y, por lo tanto, el argumento es vlido.
El ejercicio tambin pudo resolverse con tablas de verdad o con tablas semnticas.

b) Silogismo Hipottico
Premisas:
Conclusin:
Con el mtodo de resolucin:
{
}, que la clusula asociada a
Es fcil ver que la clusula asociada a la primera premisa
es
{
} y, finalmente, que las clusulas asociadas a la negacin de la conclusin
la segunda premisa es
(
) (
) son
{ }y
{ }. En la siguiente imagen se muestra cmo resolver la
clusula vaca a partir de las clusulas anteriores.

Como la clusula vaca pudo resolverse a partir del conjunto de clusulas asociadas a las premisas y a la
negacin de la conclusin, entonces tal conjunto es inconsistente y, por lo tanto, el argumento es vlido.
El ejercicio tambin pudo resolverse con tablas de verdad o con tablas semnticas.

6. Muestre que las siguientes Reglas de Inferencia son invlidas

a) Podus Monens
Premisas:
Conclusin:
Con tablas de verdad:

T
T
F
T

T
F
T
F

El argumento es invlido porque con la asignacin

conclusin falsa.

T
F
T
T
F y

T, se tienen premisas verdaderas pero

Con tablas semnticas:

El argumento es invlido porque no todas las ramas resultan contradictorias, de hecho ninguna rama lo es.
Tambin se puede dar solucin al ejercicio con el mtodo de resolucin.

b) Todus Mollens
Premisas:
Conclusin:
Con tablas de verdad:

T
T
F
T

T
F
T
F

T
F
T
T

El argumento es invlido porque con la asignacin

conclusin falsa.

F
F
T
T
F y

F
T
F
T
T, se tienen premisas verdaderas pero

Con tablas semnticas:

El argumento es invlido porque no todas las ramas resultan contradictorias, de hecho ninguna rama lo es.
Tambin se puede dar solucin al ejercicio con el mtodo de resolucin.

7. Las siguientes son pruebas formales de validez, enuncie en todos los casos las reglas y los
renglones sobre las que aplican, de manera que cada rengln que no sea una premisa quede
debidamente justificado.
a) Prueba 1
1. (
2.
3.
(
4.
(
5.
6.
7.
8.

)
2, Ad.
3, De M.
1, 4, MT
5, De M.
6, Conm.
7, Simp.

)
)

b) Prueba 2
1.
2.
3.
4.
5.
6.
7.
8.
9.

(
(

)
)
(

(
)
1, Asoc.
3, Conm.
4, Simp.
5, Ad.
6, Equiv.
2, 7, MP
8, Conm.

Nivel 2
Construya pruebas formales de validez para los siguientes argumentos.
8. Premisas:
Conclusin:
1.
2.
3.
4.
5.
6.
7.
8.

),

3, DN
4, De M.
2, 5, MT
6, DN
1, 7, MP

9. Premisas:
Conclusin:
1.
2.
3.
4.
5. (
6.
7.
8.
9.
10.
11.
12. (
13.
14.

),

(
)
(
(

)
)
)

(
(
(
(

)
)
)
)

3, Impl.
4, Conm.
5, Asoc.
6, Conm.
5, DN
6, Impl.
2, 7, SH
8, Impl.
9, Exp.
10, Taut.
3, 11, SH

Nivel 3
10. Construya una prueba formal de validez para el siguiente argumento.
La tregua llega a su fin e Irn no usar armas atmicas, slo si la Unin Europea debe enviar un ejrcito de
pacificacin. O la situacin es de mxima alerta o la Unin Europea no enviar un ejrcito de pacificacin.
En conclusin, si la situacin no es de mxima alerta y la tregua llega a su fin, entonces Irn usar armas
atmicas.
Podemos simbolizar el argumento como sigue:
Premisa 1: (

Premisa 2:
Conclusin: (

Donde
la tregua llega a su fin,
Irn usar armas atmicas,
enviar un ejrcito de pacificacin,
la situacin es de mxima alerta.
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.

)
(
(
(

(
(

)
)
)
)
)

(
)
2, Conm.
3, Impl.
1, 4 SH
5, Exp.
6, Trasp.
7, DN
8, Exp.
9, Conm.

la Unin Europea debe