Visitor

Views

Exercices - Sciences Physiques et Chimiques, M. Maudet

Page 73. 115. Il s'agit de démontrer la validité du raisonnement suivant. Prémisses : h(j)?b(j) l(j)?¬a(j). ?x(b(x)?a(x)). Conclusion : ¬h(j). 1. h(j)?b(j).