Ax[(Brillig (x) –> (Mimsy(x) ^ Slithy (x))] Premise Ay[(Slithy (y)…

Question Answered step-by-step Ax[(Brillig (x) –> (Mimsy(x) ^ Slithy (x))] Premise Ay[(Slithy (y)… Ax[(Brillig (x) –> (Mimsy(x) ^ Slithy (x))] PremiseAy[(Slithy (y) v Mimsy (y)) –> Tove (y)] PremiseAx [Tove (x) –> (Outgrabe(x,b) ^ Brillig(x))] PremiseAz [Brillig (z) <--> Mimsy (z)] ConclusionI think this argument is invalid, but I do not know how to provide a counter example to prove that it is. And where would the Elim, Intro, and other FOL come into play? Arts & Humanities Philosophy PHIL MISC Share QuestionEmailCopy link Comments (0)