propositional logic

Let’s say there are two people talking: X and Y. X has three kinds of knowledge: Basic, Pertinent, Abstracted. Y has only two kinds of knowledge: Basic, Pertinent. S1: If Y argues that X’s knowledge…