[المجاهد الشجاع]

ليكن rوs قضيتين. اعط نفي القضية r تستلزم s