ROZDZIAŁ DEFINICJE

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

Debes iniciar sesión para poder comentar.