Autor Tema: Expresar enunciados en Lógica de Predicados

0 Usuarios y 1 Visitante están viendo este tema.

27 Marzo, 2016, 05:48 pm
Leído 3125 veces

cristbal

  • $$\Large \color{#6a84c0}\pi$$
  • Mensajes: 1
  • Karma: +0/-0
  • Sexo: Masculino
Buenas,

tengo los siguientes enunciados y quisiera que alguien me ayude a pasarlos a fórmulas de lógica de predicados por favor:

Una palabra infinita w sobre el alfabeto {a,b,c} es una secuencia de la forma: w = \( x_0,x_1\ldots x_i \) donde \( x_i\in\{a,b,c\} \) para todo i ≥ 0:

1. La palabra infinita contiene una cantidad infinita de letras a.
2. En cada posición par, la palabra infinita tiene una letra a y, en cada posición impar, la palabra infinita tiene una letra b.

20 Junio, 2016, 12:07 am
Respuesta #1

Raúl Aparicio Bustillo

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,113
  • Karma: +0/-3
  • Sexo: Masculino
La 2:

\( x_{2n}=a  \) \(  \forall{n\in{\mathbb{N}}} \)


\( x_{2n+1}=b  \) \(  \forall{n\in{\mathbb{N}}} \)

20 Junio, 2016, 12:16 am
Respuesta #2

Raúl Aparicio Bustillo

  • $$\Large \color{#9c57a6}\pi\,\pi\,\pi\,\pi\,\pi\,\pi$$
  • Mensajes: 3,113
  • Karma: +0/-3
  • Sexo: Masculino
La 1 no se me ocurre, es realmente complicada

20 Junio, 2016, 02:12 am
Respuesta #3

argentinator

  • Consultar la FIRMAPEDIA
  • Administrador
  • Mensajes: 7,348
  • País: ar
  • Karma: +0/-0
  • Sexo: Masculino
  • Vean mis posts activos en mi página personal
    • Mis posts activos (click aquí)
Buenas:
tengo los siguientes enunciados y quisiera que alguien me ayude a pasarlos a formulas de logica de predicados porfavor:

Una palabra infinita w sobre el alfabeto {a,b,c} es una secuencia de la forma: w = \( x_0 \),\( x_1 \) . . . \( x_i \) donde \( x_i \) pertenece a {a,b,c } para todo i ≥ 0:

1. La palabra infinita contiene una cantidad infinita de letras a.
2. En cada posicion par, la palabra infinita tiene una letra a y, en cada posicion impar, la palabra infinita tiene una letra b.

1. \( \forall n\geq 0:\exists{k\geq n}(x_k = a) \)
2. \( \forall n\geq 0:x_{2n} = a \wedge x_{2n+1} = b \)