login::
pass::
name::
id::
node:
5.124
template:
4
parent:
5.12
owner:
Prospero
viewed by:
created:
07.06.2004 - 13:15:05
cwbe coordinatez
:
101
7763757
63577
860188
620780
620786
636749
909595
909607
ABSOLUT
K
YBERIA
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.
title/content
title
content
user
00000101077637570006357700860188006207800062078600636749009095950090960700909613
Prospero
07.06.2004 - 13:16:23
level: 1
UP
New
5.1241
"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.