Logichard
0:00.0

Is the set of formulas PrightarrowQ,QrightarrowR,RrightarrownegP,P\\{P \\rightarrow Q, Q \\rightarrow R, R \\rightarrow \\neg P, P\\} satisfiable?