Zadania na dowodzenie Krzrantop: Zadania na dowodzenie Czy jeśli w poleceniu jest Teza: (a=x) v (a=y) to wystarczy dowieść jednego z członów alternatywy czy trzeba obu

Adamm: W przypadku gdy coś co robisz jest z natury symetryczne, można wskazać że wynika z prostej zmiany oznaczeń