→ Definicje II → Începe să înveți / Descarcă cartonașele MP3

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

Definicje II

Trebuie să te autentifici pentru a posta un comentariu.

Mai mult