Robert Tomasik pisze:

>> pokwitowanie <> domniemanie = pokwitowanie ?
>> To nielogiczne ;)
>
> Wiesz, to dość elementarne. Przykładowo każdy "maluch" jest samochodem,
> ale nie każdy samochód jest "maluchem". Czyli:
>
> samochód <> "maluch" = samochód
>
> Co w tym odkrywczego?

Nic. Bo to nie jest prawda. Przynajmniej w rozumieniu logiki.

Twoje zdanie "przykładowo każdy "maluch" jest samochodem,
ale nie każdy samochód jest "maluchem"" należałoby zapisać moim zdaniem tak:

"Maluch" = samochód OR "nie Maluch"

Jak widzisz to całkiem co innego ;)


--
@2011 Johnson
http://db.tt/JzsPUMU