Some remarks for Oblig 2_澳门皇冠体育,皇冠足球比分

jeotten
2017-11-29T02:06:20.300Z
type:structured-message
www.uio.no

The original formula F2 of Exercise O2.1 is not valid in classical logic. Oblig 2 has been updated with a correct (valid) version of F2; alternatively, you can provide a counter model or a failed proof for the original version of F2.

The supplementary material available at Supplementary Material for "Oblig 2" has been updated (and now includes a program frame for an implementation in Prolog).