A job ad for Gaggle Inc. says:It is necessary to major in either math, computer science, orphilosophy, and be an A student. Exceptions will be made for logicminors, for whom there are no grade requirements.You have also heard through the grapevine that it is sufficient to win a Fields Medal or Turing Award (regardless of what the ad may say).Express the above as one PCwff.
Prove the following sequent using our sequent calculus.p1, p2, p3 ∧ q SC p3
Already registered? Login
Not Account? Sign up
Enter your email address to reset your password
Back to Login? Click here