dukaz

Výroková logika, normální tvary formulí, predikátová logika, věty o úplnosti výrokové a predikátové logiky, prenexní tvary formulí, modely teorií 1. řádu. Meze formální metody, Gödelovy věty.
Odpovědět
Návštěvník

dukaz

Příspěvek od Návštěvník »

Ahoj, neumel by nekdo dokazat
neg(Exist x)A -> neg(Vx) A
Nahoru
Him
Supermatfyz(ák|ačka)
Příspěvky: 400
Registrován: 25. 1. 2008 19:59
Typ studia: Informatika Bc.

Re: dukaz

Příspěvek od Him »

Co takhle:

Kód: Vybrat vše

|- (Vx)A -> A     (AxS)
|- A -> (Ex)A     (AxS, duální verze)
|- (Vx)A -> (Ex)A     (1,2 skládání implikací)
|- [(Vx)A -> (Ex)A] -> [neg (Ex)A -> neg(Vx)A]     (V5)
|- neg (Ex)A -> neg(Vx)A     (3, 4 MP)
Pracoval jsem na poměrně hodně materiálech pro různé předměty. Pokud Ti něco z toho ušetřilo čas, vyjádři svůj dík v podobě pár satoshi: 1H5JPTrsXie7epAQXbXhMjdgwyLbJ5NHBW ;)
Nahoru
Odpovědět

Zpět na „AIL062 Výroková a predikátová logika“