cwbe coordinatez:
101
63533
635429
21798
2688693
2717309
5040399

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::1
total children::1
show[ 2 | 3] flat


preco by nemohla?

tato veta je pravdiva vtedy a len vtedy ak je pravdiva. (1)

negacia:

tato veta je pravdiva a zaroven tato veta nie je pravdiva alebo tato veta nie je pravdiva a tato veta je pravdiva. (0)

nebodaj som porusil nieco, ked som spravil vetu so self-reference?




0000010100063533006354290002179802688693027173090504039905042791
C
 C      01.12.2009 - 09:51:30 , level: 1, UP   NEW
minimalne to nie je veta v jazyku prvoradovej logiky, ktory nema prostriedky na vyjadrenie "tato veta", teda by si musel postupit na vyssiu uroven jazyka, aby si mohol hovorit o pravdivosti nejakych viet (sformulovanych v nizsom jazyku)