formalne

Encyklopedia PWN

inform. reguły określające pewien język formalny, tzn. zbiór słów (lub zdań) oraz ich strukturę.
inform. język złożony ze wszystkich słów (wyrażeń) uzyskiwanych za pomocą ściśle określonych reguł;
błąd formalny, łac. non sequitur,
log. błąd wnioskowania, polegający na tym, że dany wniosek nie wynika logicznie z przesłanek, z jakich się go wywodzi.
mat. ciąg formuł języka danej teorii sformalizowanej o tej własności, że każda formuła w ciągu jest aksjomatem teorii lub należy do zbioru Z (d.f. ze zbioru formuł Z) lub jest wnioskiem pewnej reguły wnioskowania, której przesłanki występują wcześniej w ciągu;
etyka normatywna, w której istota czynu etycznego polega na spełnianiu obowiązku, normy, a nie wartości moralnej;
log. zbiór formatorów (słownik) oraz wyprowadzone z niego za pomocą reguł kwalifikacji i konstrukcji zbiory wyrażeń nazwowych i zdaniowych (każdy z tych zbiorów musi być zbiorem obliczalnym).
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia