Logika - rozdział VI.

 0    11 Fiche    mro26
басу ойын өзіңді тексер
 
сұрақ жауап
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.

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