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

Using Natural deduction, show that: ~p | ~q :Premise ------------------- ~(p & q) :Goal

OpenStudy (anonymous):

The exercise online that i need to solve: http://logic.stanford.edu/intrologic/exercises/problem_03_06.html

OpenStudy (anonymous):

you can use a truth table !!

OpenStudy (anonymous):

yeah, but i need to solve in this online system that does not support solutions by truth table... http://logic.stanford.edu/intrologic/exercises/problem_03_06.html

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!