Corrigés des exercices - De Boeck Supérieur
Page 83. 139. Il s'agit de démontrer la validité du raisonnement suivant : Prémisses. ?x (c(x)?e(x)). ¬?x (e(x)?i(x)). Conclusion. ¬?x (i(x)?c(x)). 1. ?x ...
Page 83. 139. Il s'agit de démontrer la validité du raisonnement suivant : Prémisses. ?x (c(x)?e(x)). ¬?x (e(x)?i(x)). Conclusion. ¬?x (i(x)?c(x)). 1. ?x ...