Introduction to Logic

Exercise 2.4 - Kinship

A person x is a sibling of a person y if and only if x is a brother or a sister of y. Given the parent facts shown in the window on the left, write out the corresponding sibling facts in the window on the right.