[ FelipeKaetano @ 14.04.2011. 23:08 ] @
POkusavam da rijesim neke zadatke u ovoj oblasti, gdje je pomocu direct method, refutation method, natural reasoning, resolution, resolution refutation potrebno rijesiti odredjene zadate vrijednosti, odnosno tautologije. Npr.

Using Direct Method and Refutation Method prove the following: P v Q, ¬P, ¬Q |=R


Ima li neko neki dobar link gdje bi se vise o prakticnoj primjeni direct method i refutation method u propositional logici moglo saznati?