# Translating arguments into Predicate Logic

Consider the paragraph given below.

If all the boy friends are either HH or NN, then there are no CC.but Jone is a CC. therefore some boy friends are not NN..

a) translate the following arguments into Predicate Logic

b) using the change of quantifier rule and rules of inference, derive the conclusion

• Take a look at this document: library.wolfram.com/infocenter/MathSource/809 It shows how to emulate Prolog in Mathematica. – Szabolcs Apr 20 '17 at 8:59
• I have seen this part1, part2 – happy fish Apr 20 '17 at 10:39
• @happyfish Great resources, but darn, where can I get those floppy disks? :) – gwr Apr 20 '17 at 10:50
• @gwr The code files mentioned at the end of the article can be downloaded here (in Columns/Maeder). You may want to change some function's names, because I remember there are conflicts with currently existing (new) functions. – happy fish Apr 20 '17 at 11:39