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.

## Answer this Question

## Related Questions

- 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% ...
- math - A bourbon that is 51-proof is 25.5% alcohol by volume while one that is ...

More Related Questions