cwbe coordinatez:
101
7763757
63577
860188
620780
620786
636749
909595

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::4
show[ 2 | 3] flat
Pravdivost nejakej vety "p" vyplyva z pravdivosti inej vety "q" najma vtedy, ak su vsetky pravdivostne dovody druhej vety pravdivostnymi dovodmi prvej vety.




000001010776375700063577008601880062078000620786006367490090959500909607
Prospero
 Prospero      07.06.2004 - 13:15:05 , level: 1, UP   NEW
Veta tvrdi kazdu vetu, ktora z nej vyplyva.

00000101077637570006357700860188006207800062078600636749009095950090960700909613
Prospero
 Prospero      07.06.2004 - 13:16:23 , level: 2, 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.

000001010776375700063577008601880062078000620786006367490090959500909604
Prospero
 Prospero      07.06.2004 - 13:14:44 , level: 1, UP   NEW
Ak nejaky boh stvori svet, v ktorom su iste vety pravdive, tak tym uz stvori aj svet, v ktorom suhlasia vsetky ich dosledky. A podobne, nemohol by stvorit svet, v ktorom je veta "p" pravdiva, bez toho, ze by stvoril vsetky jej predmety.

000001010776375700063577008601880062078000620786006367490090959500909598
Prospero
 Prospero      07.06.2004 - 13:13:27 , level: 1, UP   NEW
Ak p vyplyva z q, tak zmysel "p" je obsiahnuty v zmysle "q".

000001010776375700063577008601880062078000620786006367490090959500909597
Prospero
 Prospero      07.06.2004 - 13:12:48 , level: 1, UP   NEW
Pravdivostne dovody jednej vety su obsiahnute v pravdivostnych dovodoch druhej vety; p vyplyva z q.