26-10-2014, 16:45
Hola gentes,
Estoy estudiando para el parcial del Lunes de Inteligencia Artificial y me surgió una duda respecto a la deducción natural...
Puedo obtener "término" de una hipótesis haciendo EC (eliminación de la conjunción) y más adelante en los pasos volver a usar la misma ecuación y obtener otro "término" ??
EJ:
1)Aa ^ Bb ^ Cc
2) Aa ^ Bb EC [1]
3) Aa EC [2]
....
15) Aa ^ Cc EC[1]
16) Cc EC [15]
Desde ya muchas gracias!
Abz,
PR
Estoy estudiando para el parcial del Lunes de Inteligencia Artificial y me surgió una duda respecto a la deducción natural...
Puedo obtener "término" de una hipótesis haciendo EC (eliminación de la conjunción) y más adelante en los pasos volver a usar la misma ecuación y obtener otro "término" ??
EJ:
1)Aa ^ Bb ^ Cc
2) Aa ^ Bb EC [1]
3) Aa EC [2]
....
15) Aa ^ Cc EC[1]
16) Cc EC [15]
Desde ya muchas gracias!
Abz,
PR