Predikát (logika)

Technology
12 hours ago
8
4
2
Avatar
Author
Albert Flores

Predikát je v logice takové jazykové sdělení (výraz), o němž má po obsahové stránce smysl tvrdit, že je buď pravdivé (označuje se slovem true nebo číslicí 1) , nebo nepravdivé (označuje se slovem false nebo číslicí 0). V logice prvního řádu je predikát syntaktickým prvkem, odpovídajícím sémantickým objektem je relace.

* Je-li výrok pravdivý, říkáme že platí, v opačném případě, je-li nepravdivý - neplatí. * Je to věta nebo část, která prohlašuje něco o subjektu. +more * Je jím část soudu, nebo výroková funkce, vypovídající o subjektu nebo proměnné.

Kategorie:Logika

5 min read
Share this post:
Like it 8

Leave a Comment

Please, enter your name.
Please, provide a valid email address.
Please, enter your comment.
Enjoy this post? Join Cesko.wiki
Don’t forget to share it
Top