cwbe coordinatez:
101
7763757
63577
860188
620780
620786
636749
909595
909607

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

neurons

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

total descendants::
total children::1
show[ 2 | 3] flat


Veta tvrdi kazdu vetu, ktora z nej vyplyva.




00000101077637570006357700860188006207800062078600636749009095950090960700909613
Prospero
 Prospero      07.06.2004 - 13:16:23 , level: 1, UP   NEW
"p.q" je jedna z viet, ktore tvrdia "p", a zaroven jedna z viet, ktore tvrdia "q".
Dve vety su navzajom protikladne, ak neexistuje zmysluplna veta, ktora ich obidve tvrdi.
Kazda veta, ktora nejakej inej vete protireci, ju neguje.