logika kasiek: Sprawdź czy rozumowanie jest poprawne: Jeżeli dwie figury są przystające, to są podobne, wobec tego nieprawdą jest, że dwie figury mogą być przystające i nie muszą być podobne.

wredulus_pospolitus: prawda każda para figur przystających jest para figur podobnych (warunek przystawania jest mocniejszych od podobieństwa)

kasiek: a jak to zapisać za pomocą zdania ?

wredulus_pospolitus: p −− przystające q −− podobne p => q => ~[p ⋀ ~q] tak bym to zapisał, ale miej poprawkę na to, że logikę to ja miałem ho ho i jeszcze 100 lat wcześniej

kasiek: jest chyba ok, właśnie tak samo to zapisałam