antyteza 3

w matematyce to część twierdzenia, której trzeba dowieść zachowując przy tym ustalone założenia; drugi zbiór zdań w twierdzeniu, właściwy sąd, będący istotną treścią wypowiadanego twierdzenia.

sformalizowana wypowiedź sądu, stosowana we wszystkich naukach ścisłych, składająca się z dwóch zbiorów zdań, z których jeden jest założeniem, a drugi - tezą, które łączy relacja implikacji.

przeczenie komuś lub czemuś, odrzucanie kogoś lub czegoś.