→ II. Wprowadzenie Do Rachunku Predykatów (definicje) → Začnite sa učiť / Stiahnite si MP3 Flashcards

otázka		Odpoveď
Imię własne začať sa učiť		wyrażenie mające za zadanie oznaczać jakieś indywiduum w celu wyróżnienia go spośród innych obiektów. W rachunku predykatów jako imion własnych używa się wyrażeń „a”, „b”, „c”, „a1”, „a2”, itd...
Deskrypcja začať sa učiť		wyrażenie będące charakterystyką odnoszącą się do co najwyżej jednego obiektu, które przeto oznacza co najwyżej jeden obiekt
Terminy jednostkowe začať sa učiť		imiona własne oraz deskrypcje
Funktor jednoargumentowy začať sa učiť		wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy
Funktor dwuargumentowy začať sa učiť		wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowym
Funktor n-argumentowy začať sa učiť		wyrażenie, które z n-tką terminów jednostkowych daje termin jednostkowy. W rachunku predykatów funktorami są: „f11”, „f21”, itd., gdzie indeks górny wskazuje, ilu argumentowy jest dany funktor.
Zmienna indywiduowa začať sa učiť		jest to wyrażenie, za które wolno wstawić dowolny termin jednostkowy. Jako terminów jednostkowych używamy małych liter „x”, „y”, „z”
Term začať sa uč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 również wyrażenie f nk (w1, ..., wn) (dla każdego k)
Predykat jednoargumentowy začať sa učiť		takie wyrażenie, które z jednym terminem jednostkowym daje zdanie
Predykat dwuargumentowy začať sa učiť		takie wyrażenie, które z dwoma terminami jednostkowymi daje zdanie
Predykat n-argumentowy začať sa učiť		takie wyrażenie, które z n-tką terminów jednostkowych daje zdanie
Formuła zdaniowa atomowa začať sa učiť		wyrażenie powstałe poprzez stosowne dołączenie do n-argumentowego predykatu n-tki termów
Zdanie atomowe začať sa učiť		wyrażenie powstałe poprzez stosowne dołączenie do n-argumentowego predykatu n-tki terminów jednostkowych
Zdanie molekularne začať sa učiť		zdanie zbudowane z jednego bądź więcej zdań atomowych i co najmniej jednego spójnika
kwantyfikator duży (ogólny lub generalny) začať sa učiť		^ "dla każdego"
kwantyfikator mały (szczególny, egzystencjalny) začať sa učiť		V "istnieje taki"
zasięg dużego kwantyfikatora začať sa učiť		wyrażenie występujące w nawiasie bezpośrednio po dużym kwantyfikatorze
zasięg małego kwantyfikatora začať sa učiť		wyrażenie występujące w nawiasie bezpośrednio po małym kwantyfikatorze
Zmienna związana začať sa učiť		jest to zmienna indywiduowa występująca w zasięgu odnoszącego się do niej kwantyfikatora
Zmienna wolna začať sa učiť		jest to zmienna występująca w danym miejscu wyrażenia nie będąc tam zmienną związaną
Formuła zdaniowa rachunku predykatów začať sa učiť		1) 2) 3) 4)
Zdanie rachunku predykatów začať sa učiť		Formuła zdaniowa nie zawierająca zmiennych wolnych

II. Wprowadzenie do rachunku predykatów (definicje)

Ak chcete pridať komentár, musíte byť prihlásený.

viac