cwbe coordinatez:
101
7763757
63577
860188
620780
620792
637098
697929

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


To, ze vety logiky su tautologie,ukazuje formalne - logicke - vlastnosti jazyka, sveta.
To, ze ich sucasti takto pospajane, davaju tautologiu, charakterizuje logiku ich sucasti.
Na to,aby vety pospajane urcitym sposobom davali tautologiu, musia mat urcite vlastnosti struktury. To, ze takto spojene davaju tautologiu, teda ukazuje, ze tieto vlastnosti struktury maju.




000001010776375700063577008601880062078000620792006370980069792900736068
ea
 ea      19.04.2004 - 21:21:28 , level: 1, UP   NEW
Je jasné, že pre ten istý účel by sme namiesto tautológií mohli použi? aj kontradikcie.

000001010776375700063577008601880062078000620792006370980069792900736066
ea
 ea      19.04.2004 - 21:19:48 , level: 1, UP   NEW
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ď.