2008/10/1 Bartosz Świątek <[EMAIL PROTECTED]>: > Teraz rozumiesz? Nie? Cholera, spodziewalem sie tego. No to tak: > Twierdzac ze ja klamie, a twierdzisz tak nie wierzac w to ze > przypadkow ktore opisalem bylo wiele, musisz udowodnic mi te > oszczerstwa ktore cie tak oburzaja. A zeby to udowodnic, musialbys > udowodnic ze takich przypadkow jakie opisalem nie bylo w historii tej > listy wcale.
Co miałoby może szczątkowe ślady prawdziwości, gdyby przyjąć wartościowanie "wiele" równe "jeden". Dla przypomnienia: ~(Ax.f(x)) <=> Ex.~f(x) ~(Ex.f(x)) <=> Ax.~f(x) Napisałeś, że ta lista jest wybrukowana złośliwością, więc jest to przypadek pierwszy. Do zaprzeczenia wystarczy pokazać jeden przykład. -- Patryk Zawadzki _______________________________________________ pld-devel-pl mailing list [email protected] http://lists.pld-linux.org/mailman/listinfo/pld-devel-pl
