w logice: przekształcenie zdania twierdzącego na równoważne przeczące