[Gammit]

This is a proposition, not a question... and it's not even real psuedocode. You would first have to define the Brother(x,y), Father(x,y), and Uncle(x,y) {x and y are nondistinct people} functions. Then after picking one or the other conclusions, you would have either a True statement of a False statement. To make it pseudocode, you'd need a "while," "for," "do," "begin," etc. statement.

Grossman, Jerold W. Discrete Mathematics: An Introduction to Concepts,
Methods, and Applications. Macmillan Publishing Company. New York.
1990. Chapters 1 & 4.

P.S. yes, this is the same pseudocode used in computer applications