→ Logika - Rozdział VI. → Начать обучение

Вопрос		Ответ
Definicja językowa начать обучение		Jeżeli język, w którym sformułowana jest określona definicja, jest metajęzykiem języka, dla którego sformułowana jest ta definicja, to stanowi ona definicję językową.
Definicja przedmiotowa начать обучение		Jeżeli język, w którym sformułowana jest określona definicja, jest tym samym językiem, dla którego jest ona sformułowana, to stanowi ona definicję przedmiotową.
Definiendum начать обучение		nazywamy zwrot zawierający wyrażenie definiowane.
Definiensem начать обучение		nazywamy zwrot definiujący.
Spójką definicyjną начать обучение		nazywamy zwrot łączący definiendum z definiensem.
Definicja wyraźna начать обучение		to taka definicja równościowa, w której definiendum znajduje się wyłącznie wyrażenie definiowane.
Definicja kontekstowa начать обучение		to taka definicja równościowa, w której definiendum stanowi kontekst zawierający w sobie wyrażenie definiowane.
Definicją projektującą начать обучение		danego wyrażenia dla określonego, budowanego właśnie języka jest taka definicja, która informuje o znaczeniu jakie definiowane wyrażenie będzie mieć w tym języku. Definicje projektujące nazywa się też definicjami syntetycznymi.
Eksplikacją начать обучение		nazywamy szczególną odmianę definicji projektującej.
Eksplikandum начать обучение		nazywamy wyrażenie poddane eksplikacji.
Eksplikatum начать обучение		nazywamy wyrażenie definiowane w eksplikacji.

Logika - rozdział VI.

Вы должны войти в свой аккаунт чтобы написать комментарий.

Ещё