Guest Session: 1 Question Remaining. Create Account to save progress.
Login
Logichard
0:00.0

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