Posted by Ashley on Friday, March 1, 2013 at 4:32pm.
exercise 5.8
write an informal proof of
Premises: LeftOf(a,b)  RightOf(a,b)
BackOf(a,b)  ~Leftof(a,b)
FrontOf(b,a)  ~RightOf(a,b)
SameCol(c,a) & SameRow(c,b)
conclusion BackOf(a,b)
State if you use proof by cases.

Language Proof and Logic(Philosophy)  Anonymous, Friday, May 6, 2016 at 9:47pm
We want to show that if we make the premises of the argument true, the conclusion must be true. In holding
premise

Language Proof and Logic(Philosophy)  Banana & Sausage, Friday, May 6, 2016 at 9:51pm
The first premiss tells us that a is either to the left of b or to the right of b. Letâ€™s
consider each of these possibilities in turn.
1. Assume that a is to the left of b. Then, from the second premise, a must be back
of b, which is the conclusion.
2. Assume that a is to the right of b. Then, from the third premise, b must be front
of a. This is equivalent to saying that a is back of b, which is the conclusion.
Either way, then, the conclusion follows from the premises.
Answer This Question
Related Questions
 Philosophy  exercise 5.8 write an informal proof of Premises: LeftOf(a,b)  ...
 Logic Formal Proof  I need to solve a proof and I cannot figure it out. The ...
 Philosophy  I need help with this proof for my philosophy class. This proof is ...
 informal Logic  God must exist for there can be no other explanation for the ...
 Philosophy  I need help with this proof for my philosophy class. This proof is ...
 Philosophy  I need help with this proof for my philosophy class. This proof is ...
 Philosophy  I need help with this proof for my philosophy class. This proof is ...
 informal Logic  God must exist for there can be no other explanation for the ...
 Logic  Given the premises (p ⇒ q) and (r ⇒ s), use Propositional ...
 Math  Please help me with this problem: A bourbon that is 51 proof is 25.5% ...
More Related Questions