Среди следующих логических форм противоречием является …