21/01/2020, 02:46:21 am *
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 NUMERARIUS
 
 
Páginas: [1]   Ir Abajo
  Imprimir  
Autor Tema: Forma clausular  (Leído 1157 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
« : 09/07/2008, 08:44:09 am »

Tengo una duda sobre este ejemplo:

[texx]\forall{}x(P(x) \rightarrow{} Q(x)), \forall{}x(Q(x) \rightarrow{} R(x)) inferencia \forall{}x(P(x) \rightarrow{} R(x))[/texx]

Obtenemos la forma clausular de la inferencia:

paso 1) {[texx]\forall{}x(P(x) \rightarrow{} Q(x)), \forall{}x(Q(x) \rightarrow{} R(x)), ¬\forall{}x(P(x) \rightarrow{} R(x))[/texx]}

paso 2) {[texx]\forall{}x(¬P(x) \vee Q(x)), \forall{}x(¬Q(x) \vee{}  R(x)), \exists{}x(P(x) \wedge ¬R(x))[/texx]}

paso 3) {[texx]\forall{}x(¬P(x) \vee Q(x)), \forall{}x(¬Q(x) \vee{}  R(x)), P(a) \wedge ¬R(a)[/texx]}

paso 4)) {[texx]\forall{}x(¬P(x) \vee Q(x)), \forall{}x(¬Q(x) \vee{}  R(x)), P(a), ¬R(a)[/texx]}

paso 5)) {[texx]¬P(x) \vee Q(x)), ¬Q(y) \vee{}  R(y)), P(a), ¬R(a)[/texx]}

No entiendo las pasos del 2 al 3 ni por qué se va sustituyendo 'x' por 'y' y por 'a'



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!