Противоречие между двумя суждениями, одинаково логически доказуемыми. — 9 букв