Zbiór wszystkich konsekwencji zbioru formuł zdaniowych

Z testwiki
Wersja z dnia 05:25, 10 kwi 2022 autorstwa imported>Sławek Borewicz (Ogryzek od lat nieposiadający źródeł. Wstawiam szablon, zanim hasło zostanie zgłoszone do poczekalni. Identyfikacja haseł bez przypisów PetScanem nie jest możliwa ze względu na systematyczne usuwanie szablonu {{Przypisy}} i zastępowanie tagiem <references>)
(różn.) ← poprzednia wersja | przejdź do aktualnej wersji (różn.) | następna wersja → (różn.)
Przejdź do nawigacji Przejdź do wyszukiwania

Szablon:Dopracować Zbiór wszystkich konsekwencji zbioru formuł zdaniowych X (Cn(X)) definiujemy jako:

A∈Cn(X) wtedy i tylko wtedy, gdy istnieje przynajmniej jedna derywacja A w oparciu o X.
Źródło: „https://pl.wiki.beta.math.wmflabs.org/w/index.php?title=Zbiór_wszystkich_konsekwencji_zbioru_formuł_zdaniowych&oldid=3845”