Dyskusja:Skolemizacja
Z Wikipedii
[edytuj] skolemizacja tautologii
Wyjasnienie mojej modifikacji:
Skolemizacja tautologii w ogole nie jest tautologia. Na przyklad, formula jest tautologia, ale jej skolemizacja nie jest.
Alef 23:17, 1 maj 2006 (CEST)