→ Definicje II → Sāciet mācīties / Lejupielādēt MP3 flashcards

jautājums		atbilde
Deskrypcją sākt mācīties		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 sākt mācīties		oznacza jakieś indywiduum w celu wyróżnienia go spośród innych obiektów.
terminami jednostkowymi sākt mācīties		Imiona własne oraz deskrypcje nazywa się ogólnie terminami jednostkowymi.
Funktorem jednoargumentowym sākt mācīties		nazywamy takie wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy.
Funktorem dwuargumentowym sākt mācīties		nazywamy takie wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowy.
Funktorem n – argumentowym sākt mācīties		nazywamy takie wyrażenie, które z n – tką terminów jednostkowych daje termin jednostkowy.
Zmienną indywiduową sākt mācīties		jest takie wyrażenie, za które wolno wstawić dowolny termin jednostkowy.
Term sākt mācīties		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 sākt mācīties		nazywamy takie wyrażenie, które z jednym terminem jednostkowym daje zdanie.
Predykatem dwuargumentowym sākt mācīties		nazywamy takie wyrażenie, które z dwoma terminami jednostkowymi daje zdanie.
Predykatem n – argumentowym sākt mācīties		nazywamy takie wyrażenie, które z n – tką terminów jednostkowych daje zdanie.
Formułą zdaniową atomową sākt mācīties		nazywamy wyrażenie powstałe przez stosowne dołączenie do n – argumentowego predykatu n – tki termów.
Zdaniem atomowym sākt mācīties		nazywa się wyrażenie powstałe przez stosowne dołączenie do n – argumentowego predykatu n – tki terminów jednostkowych.
Zdaniem molekularnym sākt mācīties		nazywa się zdanie zbudowane z jednego lub więcej zdań atomowych i co najmniej jednego spójnika.
Duży kwantyfikator (ogólny, generalny) sākt mācīties		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) sākt mācīties		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 sākt mācīties		jest to wyrażenie występujące w nawiasach bezpośrednio po dużym kwantyfikatorze.
Zasięg małego kwantyfikatora sākt mācīties		jest to wyrażenie występujące w nawiasach bezpośrednio po małym kwantyfikatorze.
Zmienna związana sākt mācīties		jest to zmienna występująca w zasięgu odnoszącego się do niej kwantyfikatora.
Zmienna wolna sākt mācīties		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 sākt mācīties		– 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. sākt mācīties		Każda formuła zdaniowa atomowa rachunku predykatów jest formułą zdaniową rachunku predykatów.
2. sākt mācīties		Jeżeli wyrażenie postaci A jest formułą zdaniową rachunku predykatów, to jest też formułą zdaniową rach. pred. Wyrażenie postaci ~(A)
3. sākt mācīties		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. sākt mācīties		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 sākt mācīties		są formuły zdaniowe nie zawierające zmiennych wolnych

Definicje II

Lai ievietotu komentāru, jums jāpiesakās.

vairāk