Tarea 10.

1:
AUTOCORRECCIN Y DUDAS. --> COMENTARIOS Y/O
DUDAS SOBRE ALGUNO DE LOS EJERCICIOS QUE SE
PROPONEN A CONTINUACIN.
(esta parte de la tarea solo puntuar si el/la estudiante realiza efectivamente alguna
contribucin en el FORO, que puede pegar tambin en el archivo de respuesta a la
Tarea)

I)

II)

Para doctorarse en LGICA PROPOSICIONAL (TD, etc.), haga la tabla

de verdad del siguiente teorema lgico (o tautologa) y luego demustrelo
mediante reglas de inferencia y demostracin: p --> q v t <---> q --> (p ^
t). Se adjunta tambin la solucin.
DIAGRAMAS DE VENN: En los enlaces que siguen (todos de la misma
pg., que ya les recomend) encontrarn Vds. hasta 8 ejercicios resueltos
(casi todos de Lewis Carroll, cf. nuestro tema 5):
http://educativa.catedu.es/44700165/aula/archivos/repositorio//1250/1258/ht
ml/23_resolviendo_silogismos.html
http://educativa.catedu.es/44700165/aula/archivos/repositorio//1250/1258/html/3_ejercicios_re
sueltos.html
http://educativa.catedu.es/44700165/aula/archivos/repositorio//1250/1258/html/24_sobre_veget
arianos_y_otros_asuntos.html

III)

FORMALIZACIN Y LGICA DE PREDICADOS en Suppes & Hill,

cap. 5. L@s estudiantes pueden ver o supervisar los problemas que
proponemos en el tema 6, cuyo enunciado ver tambin en el diagrama 9
(9.1), junto con posibles soluciones (9.22). Estas no son seguras al 100 %.
Las dudas que por ese motivo u otro encuentren pueden plantearlas en el
archivo de respuesta y pegarlas en el FORO (esto ltimo garantiza mayor
inmediatez y ampla al grupo el eventual aprendizaje).
[En el apartado 10.3 de la tarea se plantea tambin un problema
autocorrectivo, pero la deduccin natural en Lgica de predicados, que uya
se introduce en algunos ejercicios de S&Hill. Antes de 10.3, convendra
hacer antes la tarea 10.2)]

Tarea 10.2:
Ejercicio 6.5.1, modificado as: FORMALIZA LAS FRASES
QUE SIGUEN TANTO CON EL CUANTIFICADOR
UNIVERSAL COMO CON EL CUANTIF. EXISTENCIAL:

a. Ningn marciano come garrapatas:

b. " A todo el mundo le gusta la paella :
c. Ningn marciano come garrapatas
d. Nada es absolutamente fro
e. No todo varn es vanidoso
f. Algunos pjaros no ponen huevos
g. Algunos monos saben conducir
EJEMPLOS:
Ningn hombre vuela = [= (x) (x es hombre x no vuela)]
=

= x (x es hombre & x vuela)

a. Ningn marciano (M) come garrapatas (C): [= (x) (Mx

Cx)] = (x) (x es marciano & x come garrapatas)

NOTA: la equivalencia de las oraciones cuantificadas contradictorias se explica en el

tema y, ms detenidamente, en el material maravilloso del enlace que les recomiendo
al final del tema 6. En resumen: en la tabla de Boetius, la A y la O son contradictorias
(cuando una es falsa, la otra es verdadera, y viceversa); la E y la I, tambin (idem)

Tarea 10.3:
Una vez que hayan comprendido las tres reglas bsicas de Lgica
elemental de predicados de primer orden que les indiqu en el
Foro (las dos reglas de eliminacin, ms la de eliminacin del
cuantificador existencial), pueden tratar de entender la derivacin
que aparece en el apartado solucin de la pg.
http://www.paginasobrefilosofia.com/html/predicua.html que Vds.han trabajado en las
tareas 8 y 9 (que incluyen algunos casos pacficos de la 4 regla
vbsica, la de introd. Del cuatif.universal).
El nico problema es que no conocen las abreviaturas que utiliza.
Pondr una equivalencia el lunes o martes con relacin a algunos

ejercicios, como: INSEGUROS, MANSIONES, POLITICOS,

EJECUTIVOS.
Sil. Es una regla derivada que abrevia (o se demuestra con) un
TD muy sencillo. Dice dicha regla esto:
A --> B
B --> C
--------A --> C
(esta parte de la tarea solo puntuar si el/la estudiante realiza efectivamente alguna
contribucin en el FORO, que puede pegar tambin en el archivo de respuesta a la
Tarea)