Výrokotvorný funktor
Výrokotvorný funktor z pohľadu výrokovej logiky je nesamostatný výraz, ktorým z jednoduchých výrokov (výr. log.) vytvárame zložené výroky (výr. logika).
Pozri aj[upraviť | upraviť zdroj]
Externé odkazy[upraviť | upraviť zdroj]
- FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
|
Tento článok je zatiaľ „výhonok“. Pomôž Wikipédii tým, že ho doplníš a rozšíriš. |