Logo
Úniapédia
Komunikácia
Teraz na Google Play
Nový! Na stiahnutie Úniapédia na Android ™!
Inštalovať
Rýchlejšie ako prehliadači!
 

Výroková premenná

Index Výroková premenná

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ď.

1 vzťah: Jazyk výrokovej logiky.

Jazyk výrokovej logiky

Jazyk výrokovej logiky je jazyk tvorený výrokovou premennou výrokovej logiky, logickou konštantou výrokovej logiky a zátvorkami, ktoré sa používajú podobne ako v matematike.

Nový!!: Výroková premenná a Jazyk výrokovej logiky · Pozrieť viac »

VychádzajúcePrichádzajúce
Hej! Sme na Facebooku teraz! »