2
$\begingroup$

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

$\endgroup$
  • 1
    $\begingroup$ Take a look at this document: library.wolfram.com/infocenter/MathSource/809 It shows how to emulate Prolog in Mathematica. $\endgroup$ – Szabolcs Apr 20 '17 at 8:59
  • 2
    $\begingroup$ I have seen this part1, part2 $\endgroup$ – happy fish Apr 20 '17 at 10:39
  • $\begingroup$ @happyfish Great resources, but darn, where can I get those floppy disks? :) $\endgroup$ – gwr Apr 20 '17 at 10:50
  • 2
    $\begingroup$ @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. $\endgroup$ – happy fish Apr 20 '17 at 11:39

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Browse other questions tagged or ask your own question.