Výroková funkcia

Výroková funkcia alebo výrokový vzorec je výroková forma, vetná funkcia – logická forma, ktorá má jazykovo tvar oznamovacej vety, v ktorej je však obsiahnutá aspoň jedna voľná premenná, takže de facto nič nevypovedá. Nie je ani pravdivá, ani nepravdivá.

Pozri aj

• funkcia
• operátorový počet
• zobrazenie

Externé odkazy

• FILIT – zdroj, z ktorého pôvodne čerpal tento článok.
• Výroková forma na pohodovamatematika.sk