Výroková premenná

z Wikipédie, slobodnej encyklopédie
Skočit na navigaci Skočit na vyhledávání

Výroková premenná alebo premenná výroku je zložka jazyka výrokovej logiky; výrokové premenné sú symboly výrokov, ktoré vyjadrujeme malými písmenami p, q, r,..., prípadne doplnenými indexami p , p , 1 2..., p , q , q… q atď.

Externé odkazy[upraviť | upraviť kód]

  • FILIT – zdroj, z ktorého pôvodne čerpal tento článok.