dowód formalny
 
Encyklopedia PWN
dowód formalny,
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;
jeśli α jest ostatnią formułą w takim ciągu, to stanowi on d.f. formuły α.
Przeglądaj encyklopedię
Przeglądaj tabele i zestawienia
Przeglądaj ilustracje i multimedia