Operacia sa ukazuje v premennej; ukazuje, ako mozno od jednej formy viet dospiet k inej forme viet.
Vyjadruje rozdiel foriem.
(A to spolocne medzi bazami a vysledkom operacie su práve bazy.)

Pravdivostne funkcie elementarnych viet su vysledkami operacii, ktore maju ako bazy elementarne vety. (Tieto operacie nazyvam pravdivostnymi operaciami).

Operacia sa moze vyskytnut az tam, kde jevna veta vznika z inej vety logicky zmysluplnym sposobom. Teda tam, kde sa zacina logicka konstrukcia vety.

Interna relacia ktora usporaduva nejaky rad, je ekvivalentna s operaciou, prostrednictvom ktorej vznika jeden clen z ineho clena.

A to bude, prirodzene, zavisiet od ich formalnych vlastnosti od internej podobnosti ich foriem.