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

Si, al ser conjuncion son todos verdaderos asique podes usar todos por separado (segun el orden en que elimines la conjuncion)