SOLUTION: Below are basic arguments in English. Choose one argument and translate the argument into the symbolism of predicate logic. Use one of the proof techniques from Chapter 8 to demons

Question 1126460: Below are basic arguments in English. Choose one argument and translate the argument into the symbolism of predicate logic. Use one of the proof techniques from Chapter 8 to demonstrate the validity of the argument.
1.Every fetus has an immortal soul. A thing has an immortal soul only if it has a right to life. Hence, every fetus has a right to life. (Fx = x is a fetus, Sx = x has an immortal soul, Rx = x has a right to life).
2.Some wars are just. No war of aggression is just. Therefore, there are wars that are not wars of aggression. (Wx = x is a war, Jx = x is just, Ax = x is a war of aggression).
3.At least one instance of intentional killing is not wrong. But every murder is wrong. Hence, some instances of intentional killing are not murder. (Kx = x is an instance of intentional killing, Wx = x is wrong, Mx = x is murder)
4.Only things that have human bodies are human. No soul has a human body. Only souls survive the death of the body. Therefore, no humans survive the death of the body. (Bx = x has a human body, Hx = x is human, Sx = x is a soul, Dx = x survives the death of the body)

Answer by Alan3354(69443) (Show Source): You can put this solution on YOUR website!
Go away.
RELATED QUESTIONS
Translate the following argument into symbolic... (answered by richwmiller)

Topics In Contemporary Math Modus Ponens and Modus Tollens Another invalid argument (answered by math_tutor2020)

MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Edwin McCravy)

Find the domain of g(x)= x/x^2+x-6 Write in English and in interval... (answered by jim_thompson5910,stanbon)

Hello, Can someone please help me. I submitted this problem yesterday and it due in... (answered by rapaljer)

Problem Solving: In the excercise 33-50 (a) translate the argument into symbolic form (answered by drk)

MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Alan3354)

Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each of the... (answered by math_tutor2020)

MAT 145: Topics In Contemporary Math Modus Ponens and Modus Tollens Translate each... (answered by Alan3354)