Matematyka.pl

Witam

Nie mogę sobie poradzić z tym zadaniem:
Rozważmy proces polegający na dodawaniu do zbioru klauzul S kolejnych rezolwentów. Jest to proces skończony. Nazwijmy jego wynik S* . Pokaż, że jeśli S* nie zawiera klauzuli pustej, to zbiór S jest spełnialny.

Słowniczek:
Rozważmy dwie klauzule x C ...

w x=1 \(\displaystyle{ ax+b=x^2}\), więc a+b=1
więc zbiorem odpowiedzi jest {: a+b=1}
nie wiem, w czym problem

Zadanie:
Niech K będzie rodziną podzbiorów zbioru liczb naturalnych taką, że relacja zawierania na tej rodzinie jest porządkiem regularnym. Pokaż, że każdy łańcuch w tym porządku jest przeliczalny.

Korzystanie z pewnika wyboru odpada ze względu na to, że nie było go na wykładzie. Przez cały weekend ...