February 28, 2017

Homework Help: Language Proof and Logic(Philosophy)

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

First Name:
School Subject:

Related Questions

More Related Questions