Part 2 here : https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.html https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.htm... A short tutorial th

Part 2 here : https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.html https://www.cs.williams.edu/~freund/cs326/ReasoningPart2.htm... A short tutorial that is nice and succinct.