Question

Negate the following statement:

If Mary fails her classes, then she cannot graduate.
p: Mary fails her classes
q: Mary can graduate
Write the statement in formal logic: Which one is correct?
A. p→∼q
B. p→q
C. ∼p→q
D. q→p

Answer 1

The correct statement in formal logic is A. p→∼q.

Step-by-step explanation:

In logic, the negation of a statement is a new statement that has the opposite truth value of the original statement. If the original statement is true, its negation is false, and if the original statement is false, its negation is true.

The correct statement in formal logic is A. p→∼q. To negate the statement "If Mary fails her classes, then she cannot graduate", we add the qualifier "not" to the consequent. The negation of the statement becomes "Mary fails her classes and she can graduate". In logical notation, this becomes p→∼q.