total descendants:: total children::0 |
"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. |
| |||||||||||||||||||||||