Pokazać, że jeśli X jest formułą, a Skol(X) jest jej postacią skolemową, to Skol(X) nie jest równoważna
semantycznie X, ale jest jej równoważna w sensie spełnialności (czyli tylko w ramach jednej interpretacji).
Postać skolema
-
- Użytkownik
- Posty: 609
- Rejestracja: 10 lis 2009, o 22:39
- Płeć: Mężczyzna
- Lokalizacja: Wrocław
- Pomógł: 135 razy
Re: Postać skolema
To nie jest prawda. Czasami skolemizacja formuły jest jej równoważna semantycznie.
To wynika wprost z definicji skolemizacji formuły. Podaj, jakie definicji używasz i jak próbowałeś to udowodnić - gdzie się zatrzymałeś w dowodzie.
-
- Użytkownik
- Posty: 95
- Rejestracja: 20 sty 2021, o 10:40
- Płeć: Mężczyzna
- wiek: 18
- Podziękował: 1 raz
- Pomógł: 1 raz
Re: Postać skolema
Formuła znajduje się w postaci Skolema wtt, gdy jest ona w przedrostkowej postaci normalnej, a jej przedrostek nie zawiera kwantyfikatów egzystencjalnych. Przez Skol(X) będziemy oznaczać skolemowy odpowiednik formuły X. Proces wyznaczania odpowiednika skolemowego dla danej formuły będziemy nazywać skolemizacją.