Question 687765: Hello I am supposed to symbolize English arguments using the schemes and abbreviations provided and then construct proofs to show that the arguments are valid.
This one is:
Either we should stop going places, or we should develop hydrogen-powered cars, or we should go on driving gasoline-powered cars. We should go on driving gasoline-powered cars only if we should destroy the ozone layer. We should not stop going places and we should not destroy the ozone layer. Therefore, we should develop hydrogen-powered cars. (P: We should stop going places; H: We should develop hydrogen-powered cars; G: We should go on driving gasoline powered cars;O: We should destroy the ozone layer)
So far I just tried to construct the abbreviation, but I don't feel like it fits with the forms.
I have:
Pv(HvG)
G<->O
P.o
H
And on top of that I am really not understanding how to formulate proofs for my class. I thought I was grasping it really well up until now. Any help would be appreciated. Walking me through the problem would be amazing.
Answer by MRperkins(300)   (Show Source):
You can put this solution on YOUR website! I would love to talk to you about this one
go to http://www.scribblar.com/mg9yqg9
to get my email address. You are missing the negation symbols like for stop going places would be -g where - is the negation symbol.
email me and we will talk
|
|
|
