ROZDZIAŁ DEFINICJE

 0    22 Fiche    definicjelogika
скачать mp3 басу ойын өзіңді тексер
 
сұрақ język polski жауап język polski
Definicja przez abstrakcję
оқуды бастаңыз
Każda definicja przez abstrakcję jest definicją równościową, a dokładniej mówiąc, jest definicją kontekstową.
-
оқуды бастаңыз
Wyrażeniem definiowanym jest w niej zawsze funktor denotujący określoną funkcję jednoargumentową.
-
оқуды бастаңыз
W definiensie definicji przez abstrakcję występuje zawsze dwuargumentowy predykat denotujący relację równościową w określonym zbiorze, a więc relację w zbiorze tym jednocześnie zwrotną, symetryczną i przechodnią.
-
оқуды бастаңыз
Funkcja denotowana przez definiowany funktor przyporządkowuje różnym obiektom tę samą wartość - co właśnie stwierdza się w definiendum owej definicji
-
оқуды бастаңыз
- wtedy tylko, gdy między tymi obiektami zachodzi relacja denotowana przez predykat, występujący w definiensie owej definicji.
Błąd nieadekwatności
оқуды бастаңыз
Błąd nieadekwatności jest to błąd którym mogą być dotknięte tylko definicje sprawozdawcze.
-
оқуды бастаңыз
Definicja sprawozdawcza winna należycie zdawać sprawę ze znaczenia, jakie ma w danym języku definiowane w niej wyrażenie, czyli winna być definicją adekwatną.
-
оқуды бастаңыз
Jeżeli nienależycie informuje o znaczeniu definiowanego w niej wyrażenia, to obarczona jest błędem nieadekwatności.
-
оқуды бастаңыз
Nieadekwatność definicji sprawozdawczej przejawia się na kilka sposobów. Omówimy tu trzy z nich.
-
оқуды бастаңыз
Po pierwsze definicja sprawozdawcza jest nieadekwatna, gdy jest definicją za szeroką.
-
оқуды бастаңыз
Przypuśćmy, że podano następującą definicję n-argumentowego predykatu "P" sprawozdawczą w danym języku: P(x1,..., xn) <=> R(x1,..., xn).
-
оқуды бастаңыз
otóż definicja ta jest za szeroka, jeżeli tezą tego języka jest zdanie (...) ale nie jest tezą tego języka zdanie (...)
-
оқуды бастаңыз
Po drugie definicja sprawozdawcza jest nieadekwatna, gdy jest definicją za wąską.
-
оқуды бастаңыз
Podana wyżej definicja predykatu "P jest za wąska, jeżeli tezą rzeczonego języka jest zdanie (...) ale nie jest tezą tego języka zdanie (...)
-
оқуды бастаңыз
Po trzecie, definicja sprawozdawcza jest nieadekwatna, gdy jest definicją krzyżującą.
-
оқуды бастаңыз
Podana wyżej definicja predykatu "P" jest krzyżująca, jeżeli nie jest tezą rzeczonego języka zdanie (...) ani nie jest jego tezą zdanie (...) ale jest tezą jest zdanie (...)
Definicje indukcyjne
оқуды бастаңыз
Definicje indukcyjne stanowią odmianę definicji nierównościowych.
-
оқуды бастаңыз
Definicje indukcyjne nazywa się również definicjami rekurencyjnymi.
-
оқуды бастаңыз
Każda definicja zbudowana jest z dwóch części, a mianowicie z warunku wstępnego i warunku indukcyjnego.
-
оқуды бастаңыз
W zdaniu stanowiącym warunek wstępny podaje się najprostszy kontekst, w którym występuje wyrażenie definiowane.
-
оқуды бастаңыз
Z kolei w zdaniu stanowiącym warunek indukcyjny zawarta jest zasada przekształcania bardziej złożonych kontekstów zawierających wyrażenia definiowane w konteksty prostsze.
-
оқуды бастаңыз
Przykładem definicji indukcyjnej jest na przykład następująca definicja dodawania 1) x+0 = x, 2) x + następnik (y) = następnik (x+y)

Пікір қалдыру үшін жүйеге кіру керек.