total descendants:: total children::0 |
Ak su udane vsetky pravdivostne dovody, ktore su spolocne pre isty pocet viet, zaroven pravdivostnymi dovodmi urcitej vety, tak hovorime, ze pravdivost tejto vety vyplyva z pravdivosti onych viet.
|
| |||||||||||||||||||||||