→ Definicje II → Začněte se učit / Stáhněte si MP3 karty

otázka		odpověď
Deskrypcją začněte se učit		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.
Imię własne začněte se učit		oznacza jakieś indywiduum w celu wyróżnienia go spośród innych obiektów.
terminami jednostkowymi začněte se učit		Imiona własne oraz deskrypcje nazywa się ogólnie terminami jednostkowymi.
Funktorem jednoargumentowym začněte se učit		nazywamy takie wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy.
Funktorem dwuargumentowym začněte se učit		nazywamy takie wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowy.
Funktorem n – argumentowym začněte se učit		nazywamy takie wyrażenie, które z n – tką terminów jednostkowych daje termin jednostkowy.
Zmienną indywiduową začněte se učit		jest takie wyrażenie, za które wolno wstawić dowolny termin jednostkowy.
Term začněte se učit		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 także wyrażenie fnk (w1... wn) (dla każdego k).
Predykatem jednoargumentowym začněte se učit		nazywamy takie wyrażenie, które z jednym terminem jednostkowym daje zdanie.
Predykatem dwuargumentowym začněte se učit		nazywamy takie wyrażenie, które z dwoma terminami jednostkowymi daje zdanie.
Predykatem n – argumentowym začněte se učit		nazywamy takie wyrażenie, które z n – tką terminów jednostkowych daje zdanie.
Formułą zdaniową atomową začněte se učit		nazywamy wyrażenie powstałe przez stosowne dołączenie do n – argumentowego predykatu n – tki termów.
Zdaniem atomowym začněte se učit		nazywa się wyrażenie powstałe przez stosowne dołączenie do n – argumentowego predykatu n – tki terminów jednostkowych.
Zdaniem molekularnym začněte se učit		nazywa się zdanie zbudowane z jednego lub więcej zdań atomowych i co najmniej jednego spójnika.
Duży kwantyfikator (ogólny, generalny) začněte se učit		oznaczamy go symbolem „ Λ”. Jego odpowiednikiem w języku polskim są takie wyrażenia jak „dla każdego”, „każdy”, a do pewnego stopnia także wyrażenie „wszyscy”.
Mały kwantyfikator (szczególny, egzystencjalny) začněte se učit		oznaczamy go symbolem „V”. Jego odpowiednikami w języku polskim są takie wyrażenia, jak „dla pewnego”, „pewien”, „istnieje” bądź „egzystuje”.
Zasięg dużego kwantyfikatora začněte se učit		jest to wyrażenie występujące w nawiasach bezpośrednio po dużym kwantyfikatorze.
Zasięg małego kwantyfikatora začněte se učit		jest to wyrażenie występujące w nawiasach bezpośrednio po małym kwantyfikatorze.
Zmienna związana začněte se učit		jest to zmienna występująca w zasięgu odnoszącego się do niej kwantyfikatora.
Zmienna wolna začněte se učit		jest to zmienna, która występuje w danym miejscu wyrażenia, nie będąc tam zmienną związaną.
Formuła zdaniowa rachunku predykatów začněte se učit		– określenie to wyznacza zbiór wszystkich formuł zdaniowych rachunku predykatów. Innymi słowy, określenie to wskazuje, jak budować wyrażenie, aby było ono formułą zdaniową rachunku predykatów:
1. začněte se učit		Każda formuła zdaniowa atomowa rachunku predykatów jest formułą zdaniową rachunku predykatów.
2. začněte se učit		Jeżeli wyrażenie postaci A jest formułą zdaniową rachunku predykatów, to jest też formułą zdaniową rach. pred. Wyrażenie postaci ~(A)
3. začněte se učit		Jeżeli wyrażenia postaci A i B są formułami zdaniowymi rach. pred., to są też formułami zdaniowymi rach. pred. wyrażenia postaci (A) ˄ (B), (A) ˅ (B), (A) → (B) oraz (A) ≡ (B).
4. začněte se učit		Jeżeli wyrażenie postaci A jest formułą zdaniową rach. pred., to formułami zdaniowymi rach. pred. są też wyrażenia postaci Λxi(A) oraz Vxi(A) (dla dowolnego i).
Zdaniami rachunku predykatów začněte se učit		są formuły zdaniowe nie zawierające zmiennych wolnych

Definicje II

Chcete-li přidat komentář, musíte se přihlásit.

více