cwbe coordinatez:
101
7763757
63577
860188
620780
620792
637098
697929
736066

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

neurons

stats|by_visit|by_K
source
tiamat
commanders
polls

total descendants::0
total children::0
show[ 2 | 3] flat
To, že napr. vety "p" a "~p" v spojení "~(p.~p)" dávajú tautológiu, ukazuje, že si navzájom protirečia. To že vety "p⊃q", "p" a "q" vo forme "(p⊃q).(p):⊃:(q)" dávajú navzájom spojené tautológiou, ukazuje, že q vyplýva z p a p⊃q. To, že "(x).fx:⊃:fa" je tautológia, ukazuje, že fa vyplýva z (x).fx atď. atď.