INTRODUCCIN AL PENSAMIENTO CIENTFICO

UBA - C.B.C.: CTEDRA MIGUEL

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
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 R P Q ...contiene...
I Patio de forma
poligonal
Lado Plano ...tiene...
INTRODUCCIN AL PENSAMIENTO CIENTFICO
UBA - C.B.C.: CTEDRA MIGUEL
II Campeonato de
ftbol
Equipo de ftbol Torneo
deportivo
...tiene...
III Rascacielos Piso Edificio ...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...
...es teorema porque se
deduce de los axiomas...
...no es teorema;
contradice los axiomas...
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


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.
Correccin.
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.


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 (R es irreflexiva)
Axioma 2: xRy yRx (R es asimtrica)
INTRODUCCIN AL PENSAMIENTO CIENTFICO
UBA - C.B.C.: CTEDRA MIGUEL
Axioma 3: (xRy yRz) xRz (R es transitiva)
Y sea el sistema axiomtico de orden SA 2 como el anterior con el agregado del
Axioma 4: xy (xRy yRx) (R est conectada)
Seale las interpretaciones que son modelo
C R de SA 1 de SA 2
1 Personas es hijo de
2 Personas es descendiente de
3 Edificios sobre la vereda norte
de la Avenida Rivadavia
est a la derecha de
4 Meses del ao es antes de
5 Ciudades argentinas est al sur de
6 Ciudades sobre la ruta 2* est al sur de
7 Montaas es ms baja que
*Admitiendo, como simplificacin, que recorre la provincia de norte a sur.
Puede agregar sus propios ejemplos de modelos
C R de SA 1? de SA 2?
1
2
3

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 R
1 Nmeros naturales es menor que
2 Puntos de una recta horizontal est a la derecha de
3 Cualquier subconjunto de nmeros naturales es menor que
4 Cualquier subconjunto de puntos de una recta horizontal est a la derecha de
5 Cualquier subconjunto de nmeros reales 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.