término  |
definición |
imię własne (a, b, c, a1, a2 ...) empezar lección
|
|
jest to wyrażenia mające za zadanie oznaczać jakieś indywiduum w celu wyróżnienia go spośród innych obiektów
|
|
|
|
empezar lección
|
|
wyrażenie będące charakterystyką odnoszącą się do co najwyżej jednego obiektu, który przeto oznacza co najwyżej jeden obiekt
|
|
|
|
empezar lección
|
|
ogólna nazwa imiona własnego oraz deskrypcji
|
|
|
funktor jednoargumentowy (f, g,h) empezar lección
|
|
takie wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy
|
|
|
|
empezar lección
|
|
wyrażenie które z n-tką terminów jednostkowych daje termin jednostkowy
|
|
|
zmienna indywiduowa (x, y, z,) empezar lección
|
|
jest to takie wyrażenie za które wolno wstawiać dowolny termin jednostkowy
|
|
|
|
empezar lección
|
|
wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowy.
|
|
|
predykat jednoargumentowy (P, R,S) empezar lección
|
|
wyrażenie które z jednym terminem jednostkowym daje zdanie.
|
|
|
|
empezar lección
|
|
wyrażenie które z dwoma terminami jednostkowymi daje zdanie.
|
|
|
|
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ą termiami, to termem jest także wyrażenie fn k(w1,..., wN) (dla każdego k).
|
|
|
|
empezar lección
|
|
jest to wyrażenie powstałe przez stosowne dołączenie do n-argumentowego predykatu n-tli termów
|
|
|
|
empezar lección
|
|
jest to wyrażenie powstałe przez stosowne dołączenie do n-argumentowego predykatu n-tło terminów jednostkowych.
|
|
|
|
empezar lección
|
|
są to te formuły zdaniowe atomowe w których nie występują zmienne indywiduowe.
|
|
|
|
empezar lección
|
|
zdanie zbudowane z jednego lub więcej zdań atomowych i co najmniej jednego spójnika
|
|
|
kwantyfikator duży (ogólny lub generalny) empezar lección
|
|
oznaczały symbolem ^ (odpowiednik w j. polskim: "dla każdego" "każdy" a do pewnego stopnia także wyrażenie "wszyscy"
|
|
|
kwantyfikator mały (szczególny, egzystencjalny) empezar lección
|
|
oznaczamy symbolem V (odpowiednik w j polskim: "dla pewnego", "pewien". "istnieje" bądź "egzystuje"
|
|
|
zasięg dużego kwantyfikatora empezar lección
|
|
wyrażenie występujące w nawiasach bezpośrednio po dużym kwantyfikatorze
|
|
|
zasięg małego kwantyfikatora empezar lección
|
|
wyrażenie występujące w nawiasach bezpośrednio po małym kwantyfikatorze
|
|
|
|
empezar lección
|
|
zmienna występująca w zasięgu odnoszącego się do niej kwantyfikatora.
|
|
|
|
empezar lección
|
|
zmienna która występuje w danym miejscu wyrażenia, nie będąc tam zmienną związaną.
|
|
|
Co stanowi formułę zdaniową rachunku predykatów: empezar lección
|
|
Otóż: 1) każda formuła zdaniowa atomowa rachunku predykatów jest formułą zdaniową rachunku predykatów.
|
|
|
Co stanowi formułę zdaniową rachunku predykatów: empezar lección
|
|
2) jeżeli wyrażenie postaci A jest formułą zdaniową rachunku predykatów, to jest też formułą zdaniową rachunku predykatów wyrażenie postaci ~(A)
|
|
|
Co stanowi formułę zdaniową rachunku predykatów: empezar lección
|
|
3) jeżeli wyrażenia postaci A i B są formułami zdaniowymi rachunku predykatów, to są też formułami zdaniowymi rachunku predykatów wyrażenia postaci (A) ^ (B), (A) v (B), (A) -> (B) oraz (A)<=> (B)
|
|
|
Co stanowi formułę zdaniową rachunku predykatów: empezar lección
|
|
4) jeżeli wyrażenie postaci A jest formułą zdaniową rachunku predykatów, to formułami zdaniowymi rachunku predykatów są też wyrażenia postaci ^xi (A) oraz Vxi(A) (dla dowolnego i)
|
|
|
Co stanowi formułę zdaniową rachunku predykatów: empezar lección
|
|
Innymi słowy określenie to wskazuje jak należy budować wyrażenie, aby było ono formułą zdaniową rachunku predykatów.
|
|
|
