total descendants::0 total children::0 |
Všetky vety sú výsledkami pravdivostných operácií s elementárnymi vetami. Pravdivostná operácia je spôsob, ako z elementárnych viet vzniká pravdivostná funkcia. Podľa podstaty pravdivostnej operácie sa tým istým spôsobom, ako sa z elementárnych viet stane ich pradivostná funkcia, stane z pravdivostných funkcií nová pravdivostná funkcia. Každá pravdivostná operácia vytvára z pravdivostných funkcií elementárnych viet opä? pravdivostnú funkciu elementárnych viet, vetu. Výsledok každej pravdivostnej operácie v výsledkami pravdivostných operácií s elementárnymi vetami je opä? výsledkom jednej pravdivostnej operácie s elementárnymi vetami. Každá veta je výsledkom pravdivostných operácií s elementárnymi vetami. |
|
|||||||||||||||||||||||