ROZDZIAŁ DEFINICJE

 0    22 fiche    definicjelogika
baixar mp3 Imprimir jogar verifique-se
 
questão język polski resposta język polski
Definicja przez abstrakcję
começar a aprender
Każda definicja przez abstrakcję jest definicją równościową, a dokładniej mówiąc, jest definicją kontekstową.
-
começar a aprender
Wyrażeniem definiowanym jest w niej zawsze funktor denotujący określoną funkcję jednoargumentową.
-
começar a aprender
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ą.
-
começar a aprender
Funkcja denotowana przez definiowany funktor przyporządkowuje różnym obiektom tę samą wartość - co właśnie stwierdza się w definiendum owej definicji
-
começar a aprender
- wtedy tylko, gdy między tymi obiektami zachodzi relacja denotowana przez predykat, występujący w definiensie owej definicji.
Błąd nieadekwatności
começar a aprender
Błąd nieadekwatności jest to błąd którym mogą być dotknięte tylko definicje sprawozdawcze.
-
começar a aprender
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ą.
-
começar a aprender
Jeżeli nienależycie informuje o znaczeniu definiowanego w niej wyrażenia, to obarczona jest błędem nieadekwatności.
-
começar a aprender
Nieadekwatność definicji sprawozdawczej przejawia się na kilka sposobów. Omówimy tu trzy z nich.
-
começar a aprender
Po pierwsze definicja sprawozdawcza jest nieadekwatna, gdy jest definicją za szeroką.
-
começar a aprender
Przypuśćmy, że podano następującą definicję n-argumentowego predykatu "P" sprawozdawczą w danym języku: P(x1,..., xn) <=> R(x1,..., xn).
-
começar a aprender
otóż definicja ta jest za szeroka, jeżeli tezą tego języka jest zdanie (...) ale nie jest tezą tego języka zdanie (...)
-
começar a aprender
Po drugie definicja sprawozdawcza jest nieadekwatna, gdy jest definicją za wąską.
-
começar a aprender
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 (...)
-
começar a aprender
Po trzecie, definicja sprawozdawcza jest nieadekwatna, gdy jest definicją krzyżującą.
-
começar a aprender
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
começar a aprender
Definicje indukcyjne stanowią odmianę definicji nierównościowych.
-
começar a aprender
Definicje indukcyjne nazywa się również definicjami rekurencyjnymi.
-
começar a aprender
Każda definicja zbudowana jest z dwóch części, a mianowicie z warunku wstępnego i warunku indukcyjnego.
-
começar a aprender
W zdaniu stanowiącym warunek wstępny podaje się najprostszy kontekst, w którym występuje wyrażenie definiowane.
-
começar a aprender
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.
-
começar a aprender
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)

Você deve entrar para postar um comentário.