We study a three-dimensional system of a diffusive predator-prey model including disease spread for prey and with Dirichlet boundary condition and Michaelis-Menten functional response. By semigroup method, we are able to achieve existence of a global solution of this system. Extinction of this system is established by spectral method. By using bifurcation theory and fixed point index theory, we obtain existence and nonexistence of inhomogeneous positive solutions of this system in steady state.