21/02/2020, 04:19:22 *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.
¿Perdiste tu email de activación?

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Puedes practicar LATEX con el cómodo editor de Latex online
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Universo de discurso  (Leído 3249 veces)
0 Usuarios y 1 Visitante están viendo este tema.
Eleal
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
Venezuela Venezuela

Mensajes: 548


Ver Perfil
« : 08/11/2007, 06:21:00 »

Quería saber si realmente existe un universo de discurso y qué es.
En línea
LauLuna
Pleno*
*****

Karma: +1/-0
Desconectado Desconectado

España España

Mensajes: 541


Ver Perfil WWW
« Respuesta #1 : 13/11/2007, 11:59:08 »

La teoría de modelos puede definirse como la teoría semántica para lenguajes formales; es decir, como la teoría de las interpretaciones de lenguajes formales.

Según la teoría de modelos un universo de discurso es cualquier conjunto no vacío. Por tanto, existen muchos muchos universos de discurso.

Un universo de discurso es el conjunto al que queremos que se refieran los cuantificadores de una fórmula a la que queremos dar una interpretación.

Sea una fórmula lógica de primer orden como:

AxEy (Rxy) & Axyz (Rxy & Ryz -> Rxz)

Para darle un significado tienes que interpretar los signos no lógicos (aquí sólo R) y tienes que determinar el alcance de los cuantificadores: cuando hablamos de 'todo x', ¿de qué estamos hablando exactamente?

Esto último se hace eligiendo un universo de discurso. Por ejemplo, el conjunto N de los números naturales. Nuestra interpretación podría ser:

U (el universo de discurso) = N
R = {<x,y> / y = x+1}

Te darás cuenta de que en esta interpretación la fórmula es verdadera. Puedes decir que la estructura <N, +1> es un modelo de esa fórmula.

Si ahora interpretas R igual que antes, pero haces U = {x/ x pertenece a N y x<5}, la fórmula se convierte en un enunciado falso.

De ahí que la elección del universo de discurso tenga consecuencias decisivas.

A veces un conjunto de fórmulas son todas ellas simultáneamente verdaderas en más de un modelo, e incluso en modelos estructuralmente diversos. Esto ha permitido obtener modelos no estándar de determinados conjuntos de axiomas formales. Son casos famosos las geometrías no planas para los cuatro primeros axiomas de Euclides y el análisis no estándar de Abraham Robinson.

Espero que esto haya aclarado algo.
En línea
Páginas: [1]   Ir Arriba
  Imprimir  
 
Ir a:  

Impulsado por MySQL Impulsado por PHP Powered by SMF 1.1.4 | SMF © 2006, Simple Machines LLC XHTML 1.0 válido! CSS válido!