se teño A → B , podo supoñer A para obter B?
no mesmo caso de A → B , podo supoñer ¬B para ober A?
ou as suposicións só se poden utilizar en determinadas regras de inferencia?
se teño A → B , podo supoñer A para obter B?
no mesmo caso de A → B , podo supoñer ¬B para ober A?
ou as suposicións só se poden utilizar en determinadas regras de inferencia?