No se ha añadido ninguna twiki todavía.

Símbolo (ι, la letra «iota» del alfabeto griego) para introducir en lógica una descripción definida, que se aplica cuando se cree que sólo hay «un tal y tal» que cumple determinadas condiciones.

Ejemplo: el operador iota (ι) permite escribir en lógica de predicados «el único x tal que tiene la propiedad F» como ιx (Fx). La definición de Russell de descripción definida se interpreta como: «el x tal que tiene la propiedad F tiene la propiedad G y nadie más que x tiene la propiedad F» De modo que la notación lógica de «el manco de Lepanto escribió El Quijote» es la siguiente: G(ιX)(Fx), cuyo sentido es equivalente a [math]\exists{}x [/math] (x es el manco de Lepanto y [math]\forall{y}[/math], si y es un manco de Lepanto, entonces y es identico a x), y x escribió El Quijote" O bien, [math]\exists{x} [Fx\wedge [ \forall{y} (Fy \rightarrow{y = x}] \wedge Gx][/math], que también puede leerse: «hay un x tal que: x es el Manco de Lepanto, y todo y que sea Manco de Lepanto es idéntico a x, y x escribió El Quijote».

Comentarios

  1. Todos
  2. Los más valorados

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página

No se ha añadido ningun comentario todavía.

0 entradas — página 1 /1
| Ir a página