Chapter 3 - Logic - 3.6 Negations of Conditional Statements and De Morgan's Law - Exercise Set 3.6 - Page 179: 54

Consider the symbolic form of the conditional statement as \[p\vee \left( \sim r\to s \right)\]. Here \[\sim r\] is antecedent. Use De Morgan’s law to negate the conjunction negate each component and change \[\wedge \] to \[\vee \] and change \[\to \] to \[\wedge \]. The negation of \[p\vee \left( \sim r\to s \right)\] is \[\sim p\wedge \left( \sim r\wedge \sim s \right)\].