Induction question from Philosophy class

AI Thread Summary
The discussion revolves around using mathematical induction to demonstrate the truth values of a statement P when negation symbols are applied. It asserts that an even number of negations results in a true statement Q, while an odd number leads to a false statement. The approach involves proving the base case for zero or two negations and then establishing that if P(n) holds for an even number of negations, it also holds for P(n+1) with two additional negations. Similarly, the odd case is addressed by showing that negating a true statement an odd number of times results in false. The overall conclusion emphasizes the consistency of truth values through the application of negations.
Jamin2112
Messages
973
Reaction score
12

Homework Statement



Let P be a true sentence, and let Q be formed by putting some number of negation symbols in front of P. Show that if you put an even number of negation symbols, then Q is true, but that if you put an odd number, then Q is false.

Homework Equations



So ... the problem also suggests that I use induction, if I know how to use it. From Math class I know how to use the principle of induction: Show that P(1) is true, and then show that if P(n) is true, P(n+1) is true as well.

The Attempt at a Solution



But I'm not sure how to use it in this problem. Please help.
 
Physics news on Phys.org
Perhaps the best way to do this would be to do it in parts. First, show that for an even number of negations, Q is true. Then for an odd number of negations, Q is false.

Let's consider what P(1) is for the even number of negations. It's safest to handle both of the possible ways to look at this: either that zero negation signs counts as an even number (in which case, this is trivial) or two negation symbols. Then P(n) is the statement: P with 2n negation symbols in front of it. Assuming P(n) is true, show P(n+1), which is P with 2n+2 negation symbols in front of it.

Repeat for the odd case.
 
That just seems like an extremely trivial thing to consider. P is true, so ~P is false. ~~P is true, so you can just keep adding ~~ to either of those statements ad infinitum and keep the same truth value. It's rather like asking you to show that for N a natural number and Pi*N, cos(Pi*N) is 1 for even N and -1 for odd N.
 
I picked up this problem from the Schaum's series book titled "College Mathematics" by Ayres/Schmidt. It is a solved problem in the book. But what surprised me was that the solution to this problem was given in one line without any explanation. I could, therefore, not understand how the given one-line solution was reached. The one-line solution in the book says: The equation is ##x \cos{\omega} +y \sin{\omega} - 5 = 0##, ##\omega## being the parameter. From my side, the only thing I could...

Similar threads

Replies
9
Views
2K
Replies
9
Views
3K
Replies
17
Views
2K
Replies
10
Views
2K
Replies
4
Views
2K
Back
Top