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ťExterné odkazy
upraviť- 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š. |