EJERCICIOS DE CIENCIAS FORMALES

Ejercicio 1
Responda las siguientes preguntas. a) Qu diferencias puede sealar entre las ciencias formales y las ciencias fcticas? b) Dibuje un tringulo en una hoja de papel y recrtelo cuidadosamente con una tijera; llamemos a lo que ha obtenido tringulo de papel. Qu diferencias hay entre ese tringulo de papel y el tringulo del que nos habla la geometra euclidiana? c) Hagamos un sencillo experimento: en un frasquito echemos cinco gotas de agua y luego otras cinco; lo que encontraremos en el frasquito es un charquito de agua: no podemos describirlo como diez gotas de agua. Decimos entonces que a veces es falso que cinco ms cinco es diez? Qu es lo que s podramos sumar que sea aplicable a este experimento? d) Se ha dicho que Gauss envi colaboradores provistos de teodolitos a la cima de tres montaas de los Alpes para que midieran los ngulos del tringulo que formaban para determinar si su suma era igual a 180 . Los historiadores no cuentan con suficientes indicios para corroborarlo pero es creble que, por lo menos, se le haya ocurrido la idea. Para qu habra hecho tal cosa? e) La cuestin de la necesidad de aceptar algunos trminos como primitivos se presenta en cualquier lenguaje Por qu? Si tengo que leer el manual de instrucciones de un horno de microondas escrito en lengua polaca, podra pensar en ir a buscar un diccionario polaco pues all encontrar las definiciones de todas las palabras Por qu ese diccionario no me sera de ninguna utilidad? f) No se pueden demostrar todos los enunciados de un sistema axiomtico; es necesario elegir algunas FBF como puntos de partida de las demostraciones. Por qu? Por qu si deducimos el enunciado A del enunciado B, B de C, C de D y D de A, no estamos demostrando la verdad de A, B, C y D? Podran ser falsos los cuatro? Podran ser algunos falsos y otros verdaderos? g) Para dar una interpretacin a un sistema axiomtico basta con asignar referencia fctica a los trminos primitivos. Por qu? Para determinar si esa interpretacin es un modelo del sistema basta con determinar si los axiomas resultan fcticamente corroborados. Por qu? h) En la prctica de la demostracin de teoremas, los puntos de partida, las premisas de los razonamientos que constituyen la demostracin, generalmente no son los axiomas sino teoremas demostrados anteriormente. Por qu puede hacerse esto? i) Las definiciones de deduccin y teorema implican que los axiomas tambin son teoremas (aunque no sea usual llamarlos de esa manera) Por qu? j) Un sistema consistente, puede no ser independiente?, puede no ser completo?, puede no tener teoremas? k) Un sistema inconsistente, puede tener teoremas?, puede tener interpretaciones?, puede tener modelos?

Ejercicio 2
Considere un sistema axiomtico, que simbolizaremos [A1, A2], con los siguientes axiomas: A1: Todo A es B A2: Existe un C que es A Considere tambin estas dos interpretaciones: Interpretacin I1 A: cordobs B: argentino C: msico Interpretacin I2 A: len B: mamfero C: felino

INTRODUCCIN AL PENSAMIENTO CIENTFICO UBA - C.B.C.: CTEDRA MIGUEL

INTRODUCCIN AL PENSAMIENTO CIENTFICO UBA - C.B.C.: CTEDRA MIGUEL

a) El sistema [A1, A2] es consistente, independiente y completo? Son I1 e I2 modelos de [A1, A2]? b) El enunciado E1: Existe un C que es B, es teorema de [A1, A2]? c) Formemos otro sistema con los enunciados A1, A2 y E1. El sistema [A1, A2, E1] es consistente, independiente y completo? Son I1 e I2 modelos de [A1, A2, E1]? d) Sea E2 la negacin del enunciado E1 Qu dice E2? Es E2 teorema de [A1, A2]? e) Formemos un sistema con los enunciados A1, A2 y E2. El sistema [A1, A2, E2] es consistente, independiente y completo? Son I1 e I2 modelos de [A1, A2, E2]? f) El enunciado E3: Todo C es B, es teorema de [A1, A2]? g) Formemos un sistema con los enunciados A1, A2 y E3. El sistema [A1, A2, E3] es consistente, independiente y completo? Son I1 e I2 modelos de [A1, A2, E2]? h) Sea E4 la negacin del enunciado E3 Qu dice E4? (Cuidado). Es E4 teorema de [A1, A2]? i) Formemos un sistema con los enunciados A1, A2 y E4. El sistema [A1, A2, E4] es consistente, independiente y completo? Son I1 e I2 modelos de [A1, A2, E4]? j) Qu indican las repuestas a los puntos (f) y (h) acerca de [A1, A2]?

Ejercicio 3
Considere el siguiente sistema axiomtico: A1: Todo R contiene al menos tres P A2: Existe un R que contiene exactamente tres P A3: Existe un Q que es R Cules de las siguientes afirmaciones son verdaderas? a) El enunciado E1: Todo R contiene al menos un P es teorema del sistema. b) El enunciado E2: Existe un R que contiene al menos un P es teorema del sistema. c) El enunciado E3: Ningn Q contiene ms de un P es teorema del sistema. d) El enunciado E4: Existe un Q que contiene ms de un P es teorema del sistema. e) El enunciado E5: Todo Q contiene al menos un P es teorema del sistema. f) El enunciado E6: Existe un Q no contiene ningn P es teorema del sistema. g) El sistema no es independiente porque A2 se deduce de A1. h) El sistema es independiente porque A3 no se deduce de A1 y A2. i) El sistema es incompleto porque E3 es teorema y su negacin no lo es. j) El sistema es incompleto porque E4 es teorema y su negacin no lo es. k) El sistema puede tener modelos porque E3 es teorema y su negacin no lo es. l) El sistema puede tener modelos porque E4 es teorema y su negacin no lo es. m) El sistema es incompleto porque E5 no es teorema y su negacin tampoco lo es. n) El sistema es incompleto porque E6 no es teorema y su negacin tampoco lo es. o) Las siguientes interpretaciones son modelo del sistema: Interpretacin I R Patio de forma poligonal P Lado Q Plano ...contiene... ...tiene...

INTRODUCCIN AL PENSAMIENTO CIENTFICO UBA - C.B.C.: CTEDRA MIGUEL

II

Campeonato de ftbol Rascacielos

Equipo de ftbol

Torneo deportivo Edificio

...tiene...

III

Piso

...tiene...

Ejercicio 4
Considere el sistema axiomtico formado por los siguientes axiomas: A1: Si un P tiene Q, tambin tiene R A2: Todo lo que tiene R tiene al menos dos S A3: Existe un P que tiene Q Complete el siguiente cuadro: El enunciado... E1: Existe un P que tiene R E2: Todo P que tiene Q tiene ms de un S E3: Si un P tiene Q, tiene a lo sumo un S E4: Existe un P que tiene exactamente dos S E5: Existe un P que tiene al menos un S E6: Todo P tiene R E7: Ningn P tiene R E8: Existe un P que no tienen R E9: Existe un P que tiene Q y no tiene ningn S ...es teorema porque se deduce de los axiomas... ...no es teorema; contradice los axiomas...

Ejercicio 5

Sea el sistema axiomtico, que simbolizaremos [A1, A2], con los siguientes axiomas: A1: Existe un Q que se relaciona con exactamente dos R A2: Todo Q se relaciona con al menos un R Consideremos que la expresin se relaciona con es un trmino primitivo. Introducimos el trmino definido est relacionado con definido as: Definicin: X est relacionado con Y significa Y se relaciona con X Ahora, considere los siguientes enunciados: E1: Todo Q se relaciona con ms de un R

INTRODUCCIN AL PENSAMIENTO CIENTFICO UBA - C.B.C.: CTEDRA MIGUEL

E2: Existe un R relacionado con ms de un Q E3: Existen al menos dos R relacionados con un mismo Q E4: Ningn par de Rs estn relacionados con un mismo Q E5: Existe un Q que no se relaciona con ningn R E6: Todo Q se relaciona con al menos un R E7: Existe un Q que se relaciona con slo un R E8: Ningn Q se relaciona con slo un R Algunas de las siguientes afirmaciones son incorrectas. Corrjalas en la columna de la derecha. a) E1 es teorema de [A1, A2]. b) E2 es teorema de [A1, A2]. c) E3 es teorema de [A1, A2]. d) E4 es teorema de [A1, A2]. e) E5 es teorema de [A1, A2]. f) E6 es teorema de [A1, A2]. g) E7 es teorema de [A1, A2]. h) E8 es teorema de [A1, A2]. i) [A1, A2] es independiente porque ni E7 ni E8 son teoremas. j) [A1, A2] es incompleto porque E3 es teorema y E4 no lo es. k) [A1, A2] es consistente porque ninguno de los axiomas se deduce del otro. l) Si a [A1, A2] agregamos como tercer axioma E5, obtendremos un sistema completo. m) Si a [A1, A2] agregamos como tercer axioma E7, obtendremos un sistema dependiente. Correccin.

Ejercicio 6
Sea el sistema axiomtico de orden SA 1: Trminos primitivos: Variables de individuo x, y, z,, correspondientes a un conjunto C. y la relacin binaria R. Reglas de formacin: Son FBF frmulas tales como xRy, zRx, etc, y las que se obtengan aplicando a stas las conectivas , , y . (No es tan difcil como parece. Por ejemplo, xRy yRx admite como interpretacin Si el ejercicio 1 es ms fcil que el ejercicio 2, entonces el ejercicio 2 no es ms fcil que el ejercicio 1). Reglas de transformacin: Las reglas de inferencia de la lgica clsica como el modus ponens y el modus tollens. Axioma 1: xRx Axioma 2: xRy yRx (R es irreflexiva) (R es asimtrica)

INTRODUCCIN AL PENSAMIENTO CIENTFICO UBA - C.B.C.: CTEDRA MIGUEL

Axioma 3: (xRy yRz) xRz Axioma 4: xy (xRy yRx) Seale las interpretaciones que son modelo C 1 2 3 Personas Personas Edificios sobre la vereda norte de la Avenida Rivadavia Meses del ao Ciudades argentinas Ciudades sobre la ruta 2* Montaas

(R es transitiva)

Y sea el sistema axiomtico de orden SA 2 como el anterior con el agregado del (R est conectada)

R es hijo de es descendiente de est a la derecha de

de SA 1

de SA 2

4 5 6 7

es antes de est al sur de est al sur de es ms baja que

*Admitiendo, como simplificacin, que recorre la provincia de norte a sur. Puede agregar sus propios ejemplos de modelos C 1 2 3 R de SA 1? de SA 2?

Comentarios sobre este ejercicio

En Las Races y los frutos algunos temas se han simplificado. Por ejemplo, consideramos que un sistema interpretado tiene contenido fctico, es decir, no es un sistema formal. En realidad tambin son de inters las interpretaciones en trminos de otro sistema formal. Por ejemplo, los siguientes son modelos de SA 1 y SA 2: C 1 2 3 4 5 Nmeros naturales Puntos de una recta horizontal Cualquier subconjunto de nmeros naturales Cualquier subconjunto de puntos de una recta horizontal Cualquier subconjunto de nmeros reales R es menor que est a la derecha de es menor que est a la derecha de es menor que

INTRODUCCIN AL PENSAMIENTO CIENTFICO UBA - C.B.C.: CTEDRA MIGUEL

El hecho de que ciertos conjuntos de entidades reales presenten relaciones anlogas a las que existen entre entidades formales es lo que justifica que podamos emplear estas ltimas en la descripcin de la realidad. Por ejemplo, el nmero que sacamos cuando entramos en una farmacia llena de gente certifica que llegamos antes que los que tienen un nmero ms alto. (Cules son aqu C y R?). Tambin es interesante la analoga entre sistemas formales como la que hay entre los nmeros reales y los puntos de una recta que hacen posible la geometra analtica; por ejemplo, la afirmacin de la geometra Por dos puntos pasa una sola recta es anloga a la afirmacin del lgebra Dos pares de nmeros ordenados determinan una nica ecuacin lineal. El axioma 2 no es independiente. Se lo puede demostrar por reduccin al absurdo: si se lo reemplaza por su negacin, se obtiene un sistema inconsistente. 1) El condicional xRy yRx es falso cuando xRy es verdadero y yRx es falso, 2) es decir, cuando xRy es verdadero y yRx es verdadero, 3) es decir, cuando xRy yRx es verdadero. 4) El axioma 3 se tiene que cumplir para cualquier valor de x y de z; tambin cuando x = z, es decir, se tiene que cumplir para (xRy yRx) xRx. 5) De (3) y (4), aplicando la regla del modus ponens, obtenemos xRx, que contradice el axioma 1. 6) Y si la negacin de xRy yRx es falsa, xRy yRx es verdadero. Estos ejemplos se ha tomado, algo simplificados, de Las desventuras del conocimiento matemtico de Klimovsky y Boido, aZ editorial (2005), captulo 7.