Recent content by houndstooth

  1. H

    Solving Predicate Logic Proof Problem with Resolution Refutation

    I have a question on my assignment that I'm having a great deal of trouble with. In this question we will consider a simplified model of the “People you may know” application in Facebook. The basic idea is that if two people have a common friend, then they may know each other. We will also...
Back
Top