cwbe coordinatez:
101
63539
63556
63998
7333141
7333348
7333891
7334386

ABSOLUT
KYBERIA
permissions
you: r,
system: public
net: yes

neurons

stats|by_visit|by_K
source
tiamat
K|my_K|given_K
last
commanders
polls

total descendants::3
total children::1
show[ 2 | 3] flat
krok dokazu samozrejme ako tvrdenie pouzit mozes, pokial je konzistentny.

[dokaz celeho tvrdenia je vlastne len sada konzistentnych dokazov :) ]




000001010006353900063556000639980733314107333348073338910733438607334390
Thunder Perfect Mind
 Thunder Perfect Mind      21.09.2013 - 09:39:37 , level: 1, UP   NEW
ako tvrdenie mozes pouzit cokolvek :)
nemozes jeden krok dokazu pouzit ako argument v prospech toho co chces dokazat.
mozes pouzit len cely dokaz (vsetky kroky). ak je aplikovatelny na dany problem.
inak je to zase len non-sequitur

00000101000635390006355600063998073331410733334807333891073343860733439007334465
w
 w      21.09.2013 - 11:46:19 , level: 2, UP   NEW
ako pise al-caid a ako som napisal vyssie, predpoklada sa konzistentnost ;)

00000101000635390006355600063998073331410733334807333891073343860733439007334410
al-caid
 al-caid      21.09.2013 - 10:23:15 , level: 2, UP   NEW
v ramci induktivneho dokazu sa mozeme bavit o tom, ci jednotlive instancie su aplikovatelne