POJĘCIA ROZDZIAŁ II

1. Deskrypcją nazywamy wyrażenie będące charakterystyką odnoszącą się do co najwyżej jednego obiektu, które przeto oznacza co najwyżej jeden obiekt.

2. Terminami jednostkowymi nazywa się imiona własne oraz deskrypcje.

3. Funktorem jednoargumentowym nazywamy takie wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy.

4. Funktorem dwuargumentowym nazywamy takie wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowy.

5. Funktorem n – argumentowym nazywamy takie wyrażenie, które z n – tką terminów jednostkowych daje termin jednostkowy.

6. Zmienną indywiduową jest takie wyrażenie, za które wolno wstawiać dowolny termin jednostkowy. Jako zmiennych indywidualnych używa się wyrażeń: „x”, „y”, „z”, „x’”, „x¹” itd.

7. Predykatem jednoargumentowym nazywamy takie wyrażenie, które z jednym terminem jednostkowym daje zdanie.

8. Predykatem dwuargumentowym nazywamy takie wyrażenie, które z dwoma terminami jednostkowymi daje zdanie.

9. Predykatem n – argumentowym nazywamy takie wyrażenie, które z n – tką terminów jednostkowych daje zdanie.

10. Formułą zdaniową atomową nazywamy wyrażenie powstałe przez stosowne dołączenie do n – argumentowego predykatu n – tki terminów.

11. Zdaniem atomowym nazywa się wyrażenie powstałe przez stosowne dołączenie do n – argumentowego predykatu n – tki terminów jednostkowych.

12. Zdaniem molekularnym nazywa się zdanie zbudowane z jednego lub więcej zdań atomowych i co najmniej jednego spójnika.

13. Zasięg dużego kwantyfikatora stanowi wyrażenie występujące w nawiasach bezpośrednio po dużym kwantyfikatorze.

14. Zasięg małego kwantyfikatora stanowi wyrażenie występujące w nawiasach bezpośrednio po małym kwantyfikatorze.

15. Zmienna związana – zmienna występująca w zasięgu odnoszącego się do niej kwantyfikatora.

16. Zdaniami rachunku predykatów są formuły zdaniowe nie zawierające zmiennych wolnych.