Matematické Fórum

marikacz · 05. 05. 2010 05:49

Zdravím,

prosím o pomoc s následujícími příklady:

1) Dokažte ve výrokové logice, bez použití věty o úplnosti:
${ \vdash (p \rightarrow (\neg r \rightarrow \neg q)) \rightarrow (q \rightarrow (p \rightarrow r)) }$

2) Dokažte bez použití věty o úplnosti predikátové logiky:
${ \vdash (\exists x)(\varphi \rightarrow \psi) \rightarrow (\varphi \rightarrow (\exists x) \psi) }$

pokud x nemá volný výskyt ve ${\varphi}$

Wotton · 05. 05. 2010 10:16

A nechybí tu trošku pomocí čeho se to má dokazovat? Pomoví HK, GK, ... Nebo je to úplně a můžeš použít jakýkoli syntaktický nástoj?

marikacz · 05. 05. 2010 11:33

↑ Wotton:

Mělo by to být z axiomů výrokové, resp. predikátové logiky a pravidla modus ponens.

Wotton · 12. 05. 2010 15:04

fajn, .. a nějaký vlastní pokus už máš?

Matematické Fórum

#1 05. 05. 2010 05:49

Výroková a predikátová logika

#2 05. 05. 2010 10:16

Re: Výroková a predikátová logika

#3 05. 05. 2010 11:33

Re: Výroková a predikátová logika

#4 12. 05. 2010 15:04

Re: Výroková a predikátová logika

Zápatí