total descendants:: total children::2 |
Cielom je dospiet k takej - pre mna sameho zrozumitelnej - metode ktora je schopna urcit ci je dana veta pravdiva a pravdiva na zaklade vlastnosti a relacii pojmov a funkcii z ktorych sa dana veta sklada. (toto je odpradavna cielom logiky ktora skuma vsetko co je LEGEIN takze naozaj nehovorim nic nove) |
| |||||||||||||||||||||||