Strona 1 z 1
Udowodnij z aksjomatów
: 16 sty 2010, o 13:49
autor: 1122
Udowodnij z aksjomatów
\(\displaystyle{ \exists_{x} (p(x) \Rightarrow q(x))\Rightarrow ( \exists_{x}p(x) \Rightarrow \exists_{x}q(x)}\)
Udowodnij z aksjomatów
: 16 sty 2010, o 13:52
autor: Zordon
Którego systemu logicznego mamy używać przy dowodzie?
Udowodnij z aksjomatów
: 16 sty 2010, o 14:00
autor: 1122
hmm a co ci dokł chodzi?
dowód z aksjomatów jest jeden(?)
Udowodnij z aksjomatów
: 16 sty 2010, o 14:58
autor: Zordon
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...
Udowodnij z aksjomatów
: 16 sty 2010, o 18:00
autor: 1122
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
Udowodnij z aksjomatów
: 17 sty 2010, o 11:54
autor: krl
Do artykułów w Wikipedii trzeba podchodzić z pewną dozą ostrożności. Nie zawsze są w pełni poprawne.