Matematické Fórum

Moji oblibenou knihou je tato:

Vítězslav Švejdar: Logika - neúplnost, složitost a nutnost, ACADEMIA, Praha 2002

Tato kniha pokryva spoustu temat souvisejicich s logikou, vylozi predikatovou logiku prvniho radu, zabrousi i do teorie algoritmu a rekurzivnich funkci, popise Peanovu i Robinsonovu aritmetiku a obsahuje take uvod do nekterych neklasickych logik jako je fuzzy logika, intuicionizmus apod.

Z vyrokove logiky probira dva kalkuly, Hilbertuv a Gentzenuv. Ten Hilbertuv je v podstate totez, co se bere ve vyrokove a predikatove logice na MFF. Na muj vkus by tam toho ale o tom Hilbertove kalkulu mohlo byt napsano i vice. Myslim, ze je tato kniha dostupne i v elektronicke podobe a to legalne.

Rikas, ze mas spoustu dalsich textu, smim vedet jakych? Uz delsi dobu shanim nejaky text o motivaci logiky, tedy o tom, jak se to vsechno vymyslelo a proc zrovna takto a ne jinak. Nenarazils nahodou na neco takoveho?

Dobrý večer.

Řeším úlohu z výrokové logiky - transformace.

Příklad:

( ~ p ˄ q ) → ( r → ~ q )

dospěl jsem k úpravě:

p v ~ q  v  ~ r  v  ~ q

mám otázku: upravuje se tento výsledek dále? Děkuji za odpověď. R.

↑ Saturday:

Ale moc si nenapsal jak složitý texty chceš;-)

↑ Lishaak:

Zkusil jsi něco od Smullyana? Pokud se nepletu, tak se těmihle věcmi zabývá...