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