Zbiór wszystkich konsekwencji zbioru formuł zdaniowych

Z testwiki
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”