Está en la página 1de 14

Lógica Proposicional

Inferencia con Resolución

También podría gustarte