Udowodnij z aksjomatów

1122 · Post autor: **1122** » 16 sty 2010, o 13:49

Udowodnij z aksjomatów

\(\displaystyle{ \exists_{x} (p(x) \Rightarrow q(x))\Rightarrow ( \exists_{x}p(x) \Rightarrow \exists_{x}q(x)}\)

Post autor: **Zordon** » 16 sty 2010, o 13:52

Którego systemu logicznego mamy używać przy dowodzie?

1122 · Post autor: **1122** » 16 sty 2010, o 14:00

hmm a co ci dokł chodzi?
dowód z aksjomatów jest jeden(?)

Post autor: **Zordon** » 16 sty 2010, o 14:58

Chodzi mi o to, jaką formalizację dowodu przyjmujemy: klasyczną (jak na wikipedii: ... rz%C4%99du), system dowodów założeniowych, czy jakąś inną?
Twój pierwszy post jest teraz nieczytelny, poprawiłem go wcześniej, a Ty ponownie "poprawiłaś" ale na to co jest teraz...

1122 · Post autor: **1122** » 16 sty 2010, o 18:00

chodzi o klasyczną ,
wiem, że mój post jest nieczytelny, ale nie iwem jak go edytować by był poprawny,
i być może zmieniłeś wersje na poprawną, ale ja tego nie zauważyłam bo w między czasie go edytowałam, a ponieważ nie udało mi się go poprawnie zapisać zostawiłam tak jak był, prawdopodobnie, nieświadomie zmieniając poprawną wersje

krl · Post autor: **krl** » 17 sty 2010, o 11:54

Do artykułów w Wikipedii trzeba podchodzić z pewną dozą ostrożności. Nie zawsze są w pełni poprawne.