I was reading a book and there was this example:

The proposition "The water is cold and the soap is not here" has two
components, C: "The water is cold" and H: "The soap is here." The negation,
~(C /I. ~H), is "It is not the case that the water is cold and the soap is not here."

Shoudnt the two compents be C:=

Question

I was reading a book and there was this example:


The proposition "The water is cold and the soap is not here" has two
components, C: "The water is cold" and H: "The soap is here." The negation,
~(C /I. ~H), is "It is not the case that the water is cold and the soap is not here."

Shoudnt the two compents be C:=

anonymous · Answer

I took a logic class last year and the quote you gave does make sense, but im not sure what youre asking.