ÍÎÂÎÑÒÈ    ÁÈÁËÈÎÒÅÊÀ    ÝÍÖÈÊËÎÏÅÄÈß    ÁÈÎÃÐÀÔÈÈ    ÊÀÐÒÀ ÑÀÉÒÀ    ÑÑÛËÊÈ    Î ÏÐÎÅÊÒÅ  

ÄÈÇÚÞÍÊÒÈÂÍÀß ÍÎÐÌÀËÜÍÀß ÔÎÐÌÀ

ÄÈÇÚÞÍÊÒÈÂÍÀß ÍÎÐÌÀËÜÍÀß ÔÎÐÌÀ - ïðîïîçèöèîíàëüíàÿ ôîðìóëà, èìåþùàÿ âèä

ãäå êàæäîå Cij(i = 1, ... , n; j = 1, ... , mi) åñòü ëèáî ïåðåìåííàÿ, ëèáî îòðèöàíèå ïåðåìåííîé. Ä. í. ô. (*) âûïîëíèìà òîãäà è òîëüêî òîãäà, êîãäà ïðè íåê-ðîì i ñðåäè Ñi1, ..., Ñimi íå âñòðå÷àþòñÿ îäíîâðåìåííî ôîðìóëû âèäà ð è ¬ð, ãäå ð - ïåðåìåííàÿ. Äëÿ âñÿêîé ïðîïîçèöèîíàëüíîé ôîðìóëû À ìîæíî ïîñòðîèòü ýêâèâàëåíòíóþ åé Ä. í. ô. Â, ñîäåðæàùóþ òå æå ïåðåìåííûå, ÷òî è À. Òàêàÿ ôîðìóëà  íàç. Ä. í. ô. ôîðìóëû À.

Ñ. Ê. Ñîáîëåâ.


Èñòî÷íèêè:

  1. Ìàòåìàòè÷åñêàÿ ýíöèêëîïåäèÿ: Ãë. ðåä. È. Ì. Âèíîãðàäîâ, ò. 2 Ä - Êîî.-Ì.: «Ñîâåòñêàÿ Ýíöèêëîïåäèÿ», 1979.-1104 ñòá., èë.











© MATHEMLIB.RU, 2001-2021
Ïðè êîïèðîâàíèè ìàòåðèàëîâ ïðîåêòà îáÿçàòåëüíî ñòàâèòü ññûëêó íà ñòðàíèöó èñòî÷íèê:
http://mathemlib.ru/ 'Ìàòåìàòè÷åñêàÿ áèáëèîòåêà'
Ðåéòèíã@Mail.ru