Kann mir jemand die kontraposition davon bilden?

2 Antworten

  

Das müsste:

"Für alle x,y in K: x*yungleich0 => xungleich 0 oder y ungleich 0"

sein. (Konnte den Text irgendwie nicht matjematisch formatieren).