18/01/2020, 18:00:53 pm *
Bienvenido(a), Visitante. Por favor, ingresa o regístrate.

Ingresar con nombre de usuario, contraseña y duración de la sesión
Noticias: Homenaje a aladan
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Formalizar párrafo en Lógica de Predicados de Primer Orden  (Leído 894 veces)
0 Usuarios y 1 Visitante están viendo este tema.
skinboy
Pleno*
*****

Karma: +0/-0
Desconectado Desconectado

Sexo: Masculino
España España

Mensajes: 259



Ver Perfil
« : 15/07/2008, 14:19:32 pm »

Dicidme si lo tengo bien:

"Todos los nombres de funciones de C empiezan por letra. El nombre de algunas funciones de C termina en número. Las funciones de C que no son estáticas son dinámicas. Por tanto el nombre de algunas funciones de C dinámicas no termina en número"


Universo o domineo = {funciones de C}

Predicados:
P(x) = x empieza por letra
Q(x) = x termina en número
R(x) = x es estática
S(x) = x es dinámica

funciones:
f(x) = nombre de x

[texx]
\displaystyle\frac{\forall{}x(f(x) \rightarrow{} P(x))

\exists{}x(f(x) \rightarrow{} Q(x))

\forall{}x(¬R(x) \rightarrow{} S(x))

}{\exists{}x((f(x) \wedge S(x)) \rightarrow{} ¬Q(x))}
[/texx]
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!