se presupune că concluzia C este falsă (adică negația lui C este adevărata)​