PowerPoint Presentation

... If, whenever P holds for every element in P also holds for every element in then, by PMI, P holds for every element in CS466 (Prasad) ...