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