Additional logical clarification: the denial of 'If it rains, the courtyard gets wet' is not simply the new conditional 'If it rains, the courtyard does not get wet.' The original conditional is false specifically if rain occurs while the courtyard does not get wet.
This distinguishes denying a whole conditional proposition from merely reversing its consequent.
Opening interactive controls...
Negating a whole conditional
Contradiction and the Eight Conditions
Additional logical clarification: the denial of 'If it rains, the courtyard gets wet' is not simply the new conditional 'If it rains, the courtyard does not get wet.' The original conditional is false specifically if rain occurs while the courtyard does not get wet.
This distinguishes denying a whole conditional proposition from merely reversing its consequent.