w logice, semantyce: przekształcenie zdania przeczącego na równoważne zdanie nieskończone lub na odwrót;