brak danych

brak danych

zasada w logice głosząca, że formuła zdaniowa A języka pierwszego rzędu L wynika logicznie ze zbioru formuł zdaniowych X języka L wtw zachodzi: dla każdej interpretacji M języka L: jeżeli wszystkie formuły ze zbioru X są prawdziwe przy interpretacji M, to formuła A jest prawdziwa przy interpretacji M.