Matematické Fórum

veadet · 25. 05. 2019 12:07

Ahojte mam ulohu a vobec neviem ako na to vyriesit ju, budem rad ak by mi niekto pomohol.
Aka je pravdepodobnost, ze vyrokova forma $(\neg p \vee \neg q ) \Rightarrow (\neg q \wedge r)$ je dokazatelna v teorii $r \Rightarrow ( p \vee q)$ ?

jarrro · 26. 05. 2019 08:36

Urob tabuľku pre
$$r \Rightarrow ( p \vee q)$ \Rightarrow$(\neg p \vee \neg q ) \Rightarrow (\neg q \wedge r)$$
A pozri v koľkých prípadoch je pravda

veadet · 26. 05. 2019 09:31

vychádza mi to že pravdivé je to v štyroch prípadoch z ôsmych, teda pravdepodobnosť, že je dokázateľná je 50 % ?

jarrro · 26. 05. 2019 12:17

Nekontroloval som, ale ak je to 4 z 8 tak je to 50%

veadet · 26. 05. 2019 13:35 — Editoval veadet (26. 05. 2019 13:47)

aha a to sa vzdy robi tak ze jedna forma implikuje druhu a vysledok je pravdepodobnost dokazatelnosti?

jarrro · 26. 05. 2019 21:22

Malo by to tak byť (samozrejme ak nie je v tvojich materiáloch iná definícia)

veadet · 27. 05. 2019 09:47

no ok a co to vlastne znamena ze je dokazatelna? ma to nieco spolocne s godelovimi vetami neuplnosti alebo co to znamena ze v tej teorii sa to da dokazat, moc tomu nerozumiem

jarrro · 27. 05. 2019 09:52 — Editoval jarrro (27. 05. 2019 09:55)

Dokázateľná z niečoho znamená, že z toho niečoho vyplýva
Resp. Keď je viac axióm v teórii tak, že existuje postupnosť implikácií na konci ktorej je dané tvrdenie.

check_drummer · 27. 05. 2019 21:38

Ahoj, já tomu nějak nerozumím, podle mě je buď dokazatelná, pak je ta pravděpodobnost 100% a nebo není dokazatelná, a pak je ta pravděpodobnost 0%.
Podle mě to nemá nic do činění s konkrétním ohodnocením výrokových proměnných.

Matematické Fórum

#1 25. 05. 2019 12:07

Dokazatelnost vyrokovej formy

#2 26. 05. 2019 08:36

Re: Dokazatelnost vyrokovej formy

#3 26. 05. 2019 09:31

Re: Dokazatelnost vyrokovej formy

#4 26. 05. 2019 12:17

Re: Dokazatelnost vyrokovej formy

#5 26. 05. 2019 13:35 — Editoval veadet (26. 05. 2019 13:47)

Re: Dokazatelnost vyrokovej formy

#6 26. 05. 2019 21:22

Re: Dokazatelnost vyrokovej formy

#7 27. 05. 2019 09:47

Re: Dokazatelnost vyrokovej formy

#8 27. 05. 2019 09:52 — Editoval jarrro (27. 05. 2019 09:55)

Re: Dokazatelnost vyrokovej formy

#9 27. 05. 2019 21:38

Re: Dokazatelnost vyrokovej formy

Zápatí