Gotfryd Smolik news <s...@s...com.pl> napisal:
> On Fri, 25 Jul 2008, Jacek_P wrote:
> > Ehm, chyba wnioskowanie Ci sie pomieszalo.
> Chyba nie.

Chyba jednak tak :)

> > Z faktu, ze
> > istnieje taki x ze ( TOWAR(x) i NIE-TANI(x) i NIE-DOBRY(x) )
> Ale Ty napisałeś w pierwotnym poście CO INNEGO!

Ja?!

> Żadnego "istnieje taki" - zapisałeś TYLKO:
> "migomat jest dobry ALBO tani".
> Bez ŻADNYCH dodatkowych warunków.

Abstrahujac od tego, ze to nie moja wypowiedz, przeanalizujmy
tok myslenia wlasciwego przedmowcy. Predykat

'migomat jest dobry ALBO tani'

jest tozsamy z zapisem

'kazdy migomat jest dobry ALBO tani'.

> Napisałeś "albo", a to jest operator symetryczny. I nie napisałeś
> nic więcej.

Symetria 'ALBO' dotyczy wylacznie symetrii zlozenia

'dobry ALBO tani' jest tozsamy z 'tani ALBO dobry'

I absolutnie nic wiecej, a ty stosujesz nieuprawnione rozszerzenie
domeny. Jezeli rozszerzasz ja z populacji migomatow na populacje
wszystkich towarow, to powyzszy predykat AUTOMATYCZNIE przechodzi z postaci:

'kazdy migomat jest dobry ALBO tani'

w forme:

dla kazdego towaru x (jezeli MIGOMAT(x) to (dobry(x) ALBO tani(x)) ).

Wybacz, ale w PROLOGU to ja takie ukladanki na codzien robie :)

> *Nie było* żadnego "jeśli ... to", to usiłujesz wcisnąć metodą
> "lub czasopisma" dopiero teraz, ja się nie dam ;) bo właśnie
> tego (braku zastrzeżeń) się przyczepiłem!

Sam to wciskasz :) bo w nieuprawniony sposob poszerzasz domene,
a nie przeksztalcasz predykatu. Zastrzegam sie: ja nie wypowiadam
sie o wartosci logicznej pierwotnego predykatu, ale o niewlasciwym
przeksztalceniu, ktorego uzyles.

> IMO powinno być "dobry migomat nie jest tani", a od Twojego
> zdania wynik różni się właśnie o "migomaty drogie i złe".

Powtarzam: pierwotny predykat moze byc sluszny, moze byc
niesluszny (akurat tu sie z toba zgadzam), ale sposob twojego
wywodu na puli WSZYSTKICH towarow byl niewlasciwy. Przytoczenie
natomiast tej puli migomatow 'drogich i zlych' jest akurat
sluszne, bo jednostkowy przypadek obala kwantyfikator ogolny
pierwotnego predykatu.

Przypominam: to nie moj predykat :)
--
Pozdrawiam,

Jacek

do góry

On Sat, 26 Jul 2008, Jacek_P wrote:

> Ja?!

Nie!
Nie strzelać ;)

> Abstrahujac od tego, ze to nie moja wypowiedz, przeanalizujmy
> tok myslenia wlasciwego przedmowcy. Predykat
>
> 'migomat jest dobry ALBO tani'
>
> jest tozsamy z zapisem
>
> 'kazdy migomat jest dobry ALBO tani'.
>
>> Napisałeś "albo", a to jest operator symetryczny. I nie napisałeś
>> nic więcej.
>
> Symetria 'ALBO' dotyczy wylacznie symetrii zlozenia
>
> 'dobry ALBO tani' jest tozsamy z 'tani ALBO dobry'
>
> I absolutnie nic wiecej
[...]
> Sam to wciskasz :) bo w nieuprawniony sposob poszerzasz domene,

Toć piszę że per analogiam, z braku znajomości szerszej puli
migomatów ;)
Prawdą jest, że nie wiem, czy akurat w przypadku migomatów NIE
jest tak że NIE ma drogich i złych :P
Ale po chwili namysłu stwierdzam że to się dałoby załatwić: trzeba
przejrzeć opinie, znaleźć jakiś chłam i drogo wystawić do sprzedaży.
Dyskusja przeniosłaby się w zakres prawidłowości określenia domeny
"cena" :O (zaraz nas poplonkują i będzie spokój!)

> Przypominam: to nie moj predykat :)

Już pamiętam :)

pzdr, Gotfryd

do góry