→ II. Wprowadzenie Do Rachunku Predykatów (definicje) → Începe să înveți / Descarcă cartonașele MP3

descarcă mp3 printează joacă Testează-te

Întrebare		Răspuns
Imię własne începe să înveț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 începe să înveț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 începe să înveți		imiona własne oraz deskrypcje
Funktor jednoargumentowy începe să înveți		wyrażenie, które z jednym terminem jednostkowym daje termin jednostkowy
Funktor dwuargumentowy începe să înveți		wyrażenie, które z dwoma terminami jednostkowymi daje termin jednostkowym
Funktor n-argumentowy începe să înveț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 începe să înveț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 î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 również wyrażenie f nk (w1, ..., wn) (dla każdego k)
Predykat jednoargumentowy începe să înveți		takie wyrażenie, które z jednym terminem jednostkowym daje zdanie
Predykat dwuargumentowy începe să înveți		takie wyrażenie, które z dwoma terminami jednostkowymi daje zdanie
Predykat n-argumentowy începe să înveți		takie wyrażenie, które z n-tką terminów jednostkowych daje zdanie
Formuła zdaniowa atomowa începe să înveți		wyrażenie powstałe poprzez stosowne dołączenie do n-argumentowego predykatu n-tki termów
Zdanie atomowe începe să înveți		wyrażenie powstałe poprzez stosowne dołączenie do n-argumentowego predykatu n-tki terminów jednostkowych
Zdanie molekularne începe să înveți		zdanie zbudowane z jednego bądź więcej zdań atomowych i co najmniej jednego spójnika
kwantyfikator duży (ogólny lub generalny) începe să înveți		^ "dla każdego"
kwantyfikator mały (szczególny, egzystencjalny) începe să înveți		V "istnieje taki"
zasięg dużego kwantyfikatora începe să înveți		wyrażenie występujące w nawiasie bezpośrednio po dużym kwantyfikatorze
zasięg małego kwantyfikatora începe să înveți		wyrażenie występujące w nawiasie bezpośrednio po małym kwantyfikatorze
Zmienna związana începe să înveți		jest to zmienna indywiduowa występująca w zasięgu odnoszącego się do niej kwantyfikatora
Zmienna wolna începe să înveț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 începe să înveți		1) 2) 3) 4)
Zdanie rachunku predykatów începe să înveți		Formuła zdaniowa nie zawierająca zmiennych wolnych

II. Wprowadzenie do rachunku predykatów (definicje)

Trebuie să te autentifici pentru a posta un comentariu.

Mai mult