Wolna encyklopedia
Symbol relacyjny / predykat - używane w rachunku kwantyfikatorów uogólnienie zmiennych zdaniowych z rachunku zdań.
Symbol relacyjny stanowi pewnego rodzaju odpowiednik matematycznej relacji w logice matematycznej, jednak nie jest z nią tożsamy. Relacja zbudowana jest bowiem na pojęciu zbioru, podczas gdy w logice pojęcie to jeszcze nie występuje.
Symbole relacyjne mogą mieć zero lub większą liczbę argumentów (tzw. arność). Symbole relacyjne o zerowej liczbie argumentów to zmienne zdaniowe. Każdy symbol relacyjny jest formułą atomową rachunku zdań. Symbolom relacyjnym w procesie wartościowania mogą zostać przypisane wartości logiczne (prawda lub fałsz), jednak w odróżnieniu od zmiennych zdaniowych sparametryzowane symbole relacyjne mają wartości logiczne przypisywane do każdej kombinacji swoich parametrów.
Źródła
- Tomasz Kubik: Elementy algebry i logiki. (PDF)