Solving conditional proof or indirect proof

Use conditional proof or indirect proof as needed:

  1. (x)[Qx ⊃ (Nx ∨ Dx)]
  2. (x)(Qx • ∼Dx) / (x)Nx

This question has been answered.

Get Answer