Odvodzovanie formul vyrokovej logiky
Caute mam na vas prosbu. bol by niekto ochotny mi vysvetlit ako sa nasledujuca vec robi? nechapem s toho vobec nic takze co najjednoduchsie vysvetlenie tym lepsie :)
mam axiomy:
A1: A->(B->A)
A2: (A->(B->C))->((A->B)->(A->C))
A3: (^A->^B)->((^A->B)->A)
^ je negacia
dalej mam este pravidlo modus ponens MP
a vetu o dedukci VD
A priklad je nasledujuci:
A->(B->(A^B))
Viem to upravit na tvar implikacii a negaci ale ako sa dalej pokracuje v odvodzovani neviem.
Dakujem
Marek G.
18. 03. 2016 16:41
5 odpovědí
Marku co je úkolem? Napsal jsi tam nějakej výrok. co se má udělat?
Zadanie znie: s pouzitim vety o dedukci odvodte nasledujucu formulu
Je to už nějaký pátek, co jsem tohle dělal naposledy, takže bez záruky.
Předpokládám, že se má dokázat formule A -> (B -> A & B), jinak by to byl nesmysl.
Řešení je v příloze, jenom mi tam utekl krok 8, který nezískám pomocí VD, ale MP, ale na to už si přijdeš sám :-)
Diky :) nejaky vseobecny postup na toto odvodzovanie nie je? lebo vzdy ked dostanem dajaku formulu neviem co s tym robit.
Je to úplně stejné jako úpravy aritmetických výrazů nebo integrály, ani tam není žádný obecný postup.
Musí na to být cit a ten získáš tak, že vyřešíš pár stovek příkladů.
Tenhle příklad jsem také řešil dvě hodiny, než mě napadlo z (12) odvodit (8) a pak už bylo zřejmé, že stačí dokázat (6) pomocí (A3).
Takže počítat a počítat!