Ask your own question, for FREE!
Mathematics 17 Online
OpenStudy (anonymous):

((P-->R)&((notP&Q)-->R))<-->((PvQ)--R)

OpenStudy (anonymous):

use the proof system of L to prove

Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!
Can't find your answer? Make a FREE account and ask your own questions, OR help others and earn volunteer hours!

Join our real-time social learning platform and learn together with your friends!