Ejercicios Sistemas Axiomáticos IPC Miguel

En las ciencias fcticas:
a)
b)
c)
d)
Los trminos primitivos se definen sin vaguedad;

No se utilizan razonamientos deductivos;
Las leyes fundamentales se eligen convencionalmente;
Ninguna de las anteriores.
Dado el siguiente sistema axiomtico: Ax1: Todo f es g y Ax2: Ningn f es h

a)
b)
c)
d)
Es independiente;
Tiene como teorema: "Algn g es h";
Tiene como teorema la negacin del enunciado anterior;
El sistema no es completo.
En las ciencias formales:

a)
b)
c)
d)
Los trminos primitivos no tienen vaguedad;

Los teoremas son aceptados convencionalmente;
Los axiomas son aceptados pues se verifican sus consecuencias observacionales;
Ninguna de las anteriores.
Dado el siguiente sistema axiomtico: Ax1: Todo los p se relacionan con 2 s exactamente;
Ax2: Existe un s que se relaciona con un r; Ax3: Todos los p se relacionan con ms de 1 s.
a) El sistema es inconsistente;
b) Tiene como teorema: "Existe un p que se relaciona con un s";
c) El sistema es independiente;
d) Ninguna de las anteriores.
Tome el siguiente sistema axiomtico: Ax1: Todo p incide con ms de 2q; Ax2: Existe un p
que incide con ms de 3q; Ax3: Existe un p que incide con 6q exactamente.
a)
b)
c)
d)
El sistema es contradictorio;
El sistema es dependiente;
El sistema es independiente;
El sistema es inconsistente.
Tome el mismo sistema axiomtico usado en la pregunta anterior y considere los

enunciados: E1: Todo p incide con ms de un q; E2: No existe un p que incida con menos
de 4q.
a)
b)
c)
d)
E1 y E2 son teoremas;
Ninguno de estos enunciados es teorema;
E1 es teorema y E2 no es teorema;
E2 es teorema y E1 no es teorema.
En las ciencias formales

a)
b)
c)
d)
La verdad de los enunciados depende del resultado de una contradiccin;

Los trminos primitivos no tienen correlato fctico;
Se quiere describir algn aspecto de la realidad;
Ninguna de las anteriores opciones es correcta.
Un enunciado matemtico es falso

a) Si no se corresponde con los hechos;
b) Independientemente de cualquier convencin;

c) Independientemente de los hechos;
d) Segn reglas convencionales.
Considere el sistema axiomtico cuyos axiomas son los siguientes: A1 Todo A es B; A2
Algn C es B; A3 Algn A es B.
a)
b)
c)
d)
El sistema es independiente;
Si agregamos el axioma algn A no es B el sistema se vuelve inconsistente;
Algn A es B es un teorema del sistema;
El sistema es inconsistente.
Considere el sistema axiomtico: A1: Todo T se relaciona con ms de dos Q; A2: Existe
un T que se relaciona con tres Q exactamente; A3: Todo T se relaciona con menos de
cinco Q.
a) El sistema es inconsistente porque ninguno de los axiomas se deduce de los otros;
b) El sistema es incompleto porque Existe un T que se relaciona con cuatro Q
exactamente es teorema;
c) El sistema es incompleto porque Existe un T que se relaciona con cuatro Q
exactamente no es teorema;
d) El sistema es inconsistente porque toda interpretacin es modelo del mismo.
Considere el sistema axiomtico: A1: Existe un P que es T; A2: Todo T se relaciona con
menos de tres S; A3: Todo T se relaciona con exactamente dos S.
a)
b)
c)
d)
El sistema es dependiente porque A2 se deduce de A3;

El sistema es consistente porque A2 se deduce de A3;
El sistema es no completo porque A2 se deduce de A3;
El sistema es independiente porque A1 no se deduce de ningn otro axioma.
Dado un sistema axiomtico consistente:

a)
b)
c)
d)
Si es completo, toda frmula bien formada pertenece al sistema;

Si es completo, algunas frmulas bien formadas no pertenecen al sistema;
Si es independiente, toda frmula bien formada pertenece al sistema;
Si es independiente, algunas frmulas bien formadas no pertenecen al sistema.
Considere el sistema axiomtico: A1: Existe un P que es T; A2: Todo T se relaciona con
menos de tres S; A3: Todo T se relaciona con exactamente dos S; Y sea E1: Existe un P
que se relaciona con exactamente un S.
El sistema es completo porque E1 es teorema.
El sistema es no completo porque E1 no es teorema.
El sistema es independiente porque E1 es teorema.
El sistema es no independiente porque E1 no es teorema.
Si un sistema axiomtico admite un modelo fctico
Es consistente, pero puede ser incompleto.
Puede ser inconsistente, pero entonces ser incompleto.
Siempre que sea consistente ser completo.
Ninguna de las anteriores es correcta.
Las reglas de transformacin de un sistema axiomtico formal determinan

a)
b)
c)
d)
Qu razonamientos garantizan la verdad de los axiomas;

Qu razonamientos permiten dar una interpretacin a los axiomas;
Qu razonamientos permiten obtener teoremas a partir de los axiomas;
Ninguna es correcta.
Considere el siguiente sistema axiomtico: A1: Todo P es Q; A2: Todo Q incide sobre
menos de seis R; A3: Ningn Q incide sobre ms de diez R; A4: Existe un Q que incide
sobre exactamente dos R. En este sistema, por ser consistente,
a)
b)
c)
d)
Toda frmula bien formada es teorema o negacin de un teorema;

Toda frmula bien formada es axioma o teorema;
Todas las interpretaciones son modelo del sistema;
No hay frmulas bien formadas contradictorias que sean teoremas.
Es/Son teoremas del sistema anterior

a)
b)
c)
d)
Existe un Q que incide sobre cinco R;

La negacin del enunciado anterior;
Todo P incide sobre menos de siete R;
La negacin del enunciado anterior.
El lenguaje de un sistema axiomtico formal contiene

a)
b)
c)
d)
Los trminos que se aceptan sin definicin dentro del sistema;

Los trminos que se aceptan sin demostracin dentro del sistema;
Las reglas que determinan cules trminos son verdaderos dentro del sistema;
Las reglas que determinan cules frmulas estn bien formadas.
Considere el siguiente sistema axiomtico: A1: Todo P es Q; A2: Todo Q incide sobre
menos de seis R; A3: Ningn Q incide sobre ms de diez R; A4: Existe un Q que incide
sobre exactamente dos R. Este sistema es incompleto.
a) Porque algunas frmulas bien formadas no son teoremas;
b) Porque algunas frmulas bien formadas no son teoremas pero s lo son sus
negaciones;
c) Porque algunas frmulas bien formadas son teoremas pero no lo son sus
negaciones;
d) Porque todas las frmulas bien formadas son la negacin de algn teorema.
a)
b)
c)
d)
Ningn Q incide sobre ms de cinco R;

Todo P incide sobre menos de once R;
La negacin del enunciado anterior;
Existe un P que incide sobre exactamente dos R.
Estas dos son frmulas bien formadas en el lenguaje de un sistema axiomtico. E1: Todo
G es R; E2: Existe un G que no es R.
a) Si E1 es teorema del sistema y E2 no lo es, el sistema es consistente;
b) Si E1 es teorema del sistema y E2 no lo es, el sistema es incompleto;
c) Si ni E1 ni E2 son teoremas del sistema, el sistema es independiente;
d) Si ni E1 ni E2 son teoremas del sistema, el sistema es incompleto.

Considere el siguiente sistema axiomtico: A1: Todo R es P; A2: Existe un P que tiene
ms de cinco Q; A3: Existe un P que tiene exactamente ocho Q.
a)
b)
c)
d)
Existe un R que tiene exactamente seis Q es teorema del sistema;

Existe un P que tiene menos de diez Q es teorema del sistema;
El sistema no es completo ni independiente;
Todas las interpretaciones son modelo del sistema porque es consistente.
Las ciencias formales

a) Verifican sus axiomas;
b) Describen algn aspecto del mundo;
c) Justifican sus afirmaciones experimentalmente;
d) Aceptan algunos enunciados por convencin.
Indicar cules de las siguientes afirmaciones son correctas:
a) Un sistema axiomtico consistente es siempre independiente;
b) Un sistema axiomtico completo siempre es inconsistente;
c) Un sistema axiomtico no hace referencia al mundo a menos que sea interpretado;
d) En un modelo de un sistema axiomtico los axiomas son proposiciones
corroboradas.
Dado el siguiente sistema axiomtico: A1: Todo P es R; A2: Todo S es P; A3: Existen S
que no son R.
a) El sistema es consistente;
b) El sistema es inconsistente;
c) El sistema admite algn modelo;
d) Ninguna de las anteriores es correcta.
La verdad de los enunciados de una ciencia formal como la matemtica.
a) Es siempre independiente de lo que ocurra en los hechos;
b) Depende de lo que ocurra en los hechos;
c) Es independiente de cualquier convencin;

d) Depende de convenciones aceptadas.
Considere el sistema axiomtico. A1: Todo A es B; A2: Algn C es A.
a) El sistema es independiente;
b) El sistema no puede tener ningn modelo;
c) "Algn C es B" es un teorema del sistema.
d) Si agregramos el axioma "Algn B no es C", el sistema se hara inconsistente.
Dado el siguiente sistema axiomtico: A1: Para cada Z que accede con ms de dos X,
tambin accede con algn T; A2: Todo X que accede con algn T es J; A3: Existe un Z que
accede con 5 X
a) El sistema es independiente;
b) El sistema es dependiente;
c) El sistema es inconsistente;
d) El sistema es consistente.
Para el sistema anterior considere los siguientes enunciados: E1: Existe un Z que accede
con algn T; E2: Existe un Z que accede con 5 X
a) E1 es teorema pero E2 no lo es;
b) E1 y E2 son teoremas;
c) E2 es teorema pero E1 no lo es;
d) Ninguno de los dos es teorema.
Considere el siguiente sistema axiomtico. A1: Todo P incide con menos de seis Q; A2:
Existe un P que incide con exactamente cuatro Q; A3: Todo P es R. Este sistema es
consistente.
a) Porque ninguno de los axiomas se deduce de otros;
b) Porque todos las interpretaciones son modelo del sistema;
c) Porque todas las frmulas bien formadas son teoremas;
d) Porque algunas frmulas bien formadas no son teoremas.

a) Existe un Q que incide con exactamente dos R;
b) La negacin del enunciado anterior;
c) Existe un P que incide con ms de dos Q;
d) La negacin del enunciado anterior.

Ejercicios Sistemas Axiomáticos IPC Miguel

Cargado por

Copyright:

Formatos disponibles

Ejercicios Sistemas Axiomáticos IPC Miguel

Cargado por

Información del documento

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Ejercicios Sistemas Axiomáticos IPC Miguel

Cargado por

Copyright:

Formatos disponibles

En las ciencias fcticas:

Los trminos primitivos se definen sin vaguedad;

Dado el siguiente sistema axiomtico: Ax1: Todo f es g y Ax2: Ningn f es h

En las ciencias formales:

Los trminos primitivos no tienen vaguedad;

Tome el mismo sistema axiomtico usado en la pregunta anterior y considere los

En las ciencias formales

La verdad de los enunciados depende del resultado de una contradiccin;

Un enunciado matemtico es falso

b) Independientemente de cualquier convencin;

El sistema es dependiente porque A2 se deduce de A3;

Dado un sistema axiomtico consistente:

Si es completo, toda frmula bien formada pertenece al sistema;

Las reglas de transformacin de un sistema axiomtico formal determinan

Qu razonamientos garantizan la verdad de los axiomas;

Toda frmula bien formada es teorema o negacin de un teorema;

Es/Son teoremas del sistema anterior

Existe un Q que incide sobre cinco R;

El lenguaje de un sistema axiomtico formal contiene

Los trminos que se aceptan sin definicin dentro del sistema;

Ningn Q incide sobre ms de cinco R;

d) Si ni E1 ni E2 son teoremas del sistema, el sistema es incompleto.

Existe un R que tiene exactamente seis Q es teorema del sistema;

Las ciencias formales

c) Es independiente de cualquier convencin;

d) Porque algunas frmulas bien formadas no son teoremas.

También podría gustarte