Question

Logic/Discrete Math: Let x be a tool, and P(x) be the statement "an x is in excellent condition". How do you express "No tool is in excellent condition" using quantifiers, logical connectives, x, and P(x)? Should the negation sign be before the quantifier or the predicate?

*update: new question on the last comment

Answer 1

It will be:

For all x tools, the negotion of P(x) will be true. which will then mean no tool will be in excellent condition since we've stated that for all x, negotion of p(x) is true. hence whatever tool that may be, p(x) is false.