vravela ze moze byt vsetko okrem tych dokazov (MP, VL1, VL2,...) vo VL a PL a okrem binarnych relacii
k tej rezolucnej metode by mi nevedel niekto plz nieco povedat? , hlavne ten koniec, a zaver z toho vyplyvajuci, thxnapr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??
Spravne som pochopil ako sa vytvaraju uplne tvary?
Quote from: ursus on 17.11.2010, 02:38:04k tej rezolucnej metode by mi nevedel niekto plz nieco povedat? , hlavne ten koniec, a zaver z toho vyplyvajuci, thxnapr tam, preco ked vyberiem si z-tko, preco nedostanem do rezolventy t V v ale rovno F ??ti dostaneš t v v ale je to tam zbytočné písať keď vidíš že z ďalšej dostaneš prázdnu formulu čiže F čiže celá množina formúl je nesplniteľná (množina formúl je splniteľná keď neobsahuje prázdnu formulu0
tak term je premenna, konstanta, a funkcia aplikovana na tolko termov kolko ma arnosta formule je predikat aplikovany na term, arnosti tiez musia sediet + logicke spojky este, cize napr formula AND formula = formula//no a olem, zisti mi tu moju otazku
Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?A takisto co je to term a co formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.
Quote from: neucilasom on 17.11.2010, 23:09:36Vedel by mi niekto vysvetlit kedy je mnozina formul pri rezolucnej metode splnitelna a kedy nie?A takisto co je to term a co formula? diky ak mate nejake otazky k niecomu inemu co viem mozem tiez pomoct.Ak ti vyjde F tak je mnozina dokazatelna, inak je splnitelna (cize ak ti NEVYSLO F)... ja sa riadim podla toho
Kontradikcia je opak tautologie, cize ked je formula nepravdiva pri kazdom ohodnoteni...ako to suvisi s F ?