2

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

user48264
  • 21
  • 1
  • 1
    Take a look at this document: http://library.wolfram.com/infocenter/MathSource/809/ It shows how to emulate Prolog in Mathematica. – Szabolcs Apr 20 '17 at 08:59
  • 2
    I have seen this part1, part2 – vapor 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
  • 2
    @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. – vapor Apr 20 '17 at 11:39

0 Answers0