Introduction to Logic

Exercise 2.5 - Blocks World

Consider the state of the Blocks World pictured on the left below. Write out the corresponding above facts in the window on the right.

A
B
C
D
E