At 04:42 PM 1/26/2015, Jon Awbrey wrote:
Applications of a Propositional Calculator : Constraint Satisfaction Problems https://www.academia.edu/4727842/Applications_of_a_Propositional_Calculator_Constraint_Satisfaction_Problems
This problem illustrates a case where drawing a graph beats linear logic. Just draw the 20 nodes representing the men, houses, colors, animals, and professions. Then each of the 16 sentences represents an edge. The solution is obvious (or you can fill in the table).
Howard
----------------------------- PEIRCE-L subscribers: Click on "Reply List" or "Reply All" to REPLY ON PEIRCE-L to this message. PEIRCE-L posts should go to peirce-L@list.iupui.edu . To UNSUBSCRIBE, send a message not to PEIRCE-L but to l...@list.iupui.edu with the line "UNSubscribe PEIRCE-L" in the BODY of the message. More at http://www.cspeirce.com/peirce-l/peirce-l.htm .