término  |
definición |
|
empezar lección
|
|
wyrażenie mające za zadanie oznaczać jakieś indywiduum w celu wyróżnienia go spośród innych obiektów. W rachunku predykatów jako imion własnych używa się wyrażeń „a”, „b”, „c”, „a1”, „a2”, itd...
|
|
|
|
empezar lección
|
|
wyrażenie będące charakterystyką odnoszącą się do co najwyżej jednego obiektu, które przeto oznacza co najwyżej jeden obiekt
|
|
|
|
empezar lección
|
|
imiona własne oraz deskrypcje
|
|
|
|
empezar lección
|
|
wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy
|
|
|
|
empezar lección
|
|
wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowym
|
|
|
|
empezar lección
|
|
wyrażenie, które z n-tką terminów jednostkowych daje termin jednostkowy. W rachunku predykatów funktorami są: „f11”, „f21”, itd., gdzie indeks górny wskazuje, ilu argumentowy jest dany funktor.
|
|
|
|
empezar lección
|
|
jest to wyrażenie, za które wolno wstawić dowolny termin jednostkowy. Jako terminów jednostkowych używamy małych liter „x”, „y”, „z”
|
|
|
|
empezar lección
|
|
1. Każda zmienna indywiduowa jest termem i każde imię własne jest termem. 2. Jeżeli wyrażenia w1, ..., wn są termami to termem jest również wyrażenie f nk (w1, ..., wn) (dla każdego k)
|
|
|
Predykat jednoargumentowy empezar lección
|
|
takie wyrażenie, które z jednym terminem jednostkowym daje zdanie
|
|
|
|
empezar lección
|
|
takie wyrażenie, które z dwoma terminami jednostkowymi daje zdanie
|
|
|
|
empezar lección
|
|
takie wyrażenie, które z n-tką terminów jednostkowych daje zdanie
|
|
|
|
empezar lección
|
|
wyrażenie powstałe poprzez stosowne dołączenie do n-argumentowego predykatu n-tki termów
|
|
|
|
empezar lección
|
|
wyrażenie powstałe poprzez stosowne dołączenie do n-argumentowego predykatu n-tki terminów jednostkowych
|
|
|
|
empezar lección
|
|
zdanie zbudowane z jednego bądź więcej zdań atomowych i co najmniej jednego spójnika
|
|
|
kwantyfikator duży (ogólny lub generalny) empezar lección
|
|
|
|
|
kwantyfikator mały (szczególny, egzystencjalny) empezar lección
|
|
|
|
|
zasięg dużego kwantyfikatora empezar lección
|
|
wyrażenie występujące w nawiasie bezpośrednio po dużym kwantyfikatorze
|
|
|
zasięg małego kwantyfikatora empezar lección
|
|
wyrażenie występujące w nawiasie bezpośrednio po małym kwantyfikatorze
|
|
|
|
empezar lección
|
|
jest to zmienna indywiduowa występująca w zasięgu odnoszącego się do niej kwantyfikatora
|
|
|
|
empezar lección
|
|
jest to zmienna występująca w danym miejscu wyrażenia nie będąc tam zmienną związaną
|
|
|
Formuła zdaniowa rachunku predykatów empezar lección
|
|
|
|
|
Zdanie rachunku predykatów empezar lección
|
|
Formuła zdaniowa nie zawierająca zmiennych wolnych
|
|
|
