Premenn� v�rokov� v�rokovej logiky

premenn� v�rokov� v�rokovej logiky

- symbol v�roku, ktor� vyjadrujeme, ako b�va obvykl�, mal�mi p�smenami p, q, r ..., pr�padne doplnen�mi indexmi. Vzh�adom na to, �e ide o premenn� v�rokov, mo�no ku ka�dej priradi� hodnotu pravdy alebo nepravdy, to znamen�, �e o ka�dom vyroku p, q, r at�. sa predpoklad�, �e je pravdiv�, alebo nepravdiv� ( L332;96).