Can Basic Propositional Calculus Solve These Logical Homework Questions?

  • Thread starter Thread starter Steverino777
  • Start date Start date
Steverino777
Messages
6
Reaction score
0
This is mostly some basic stuff, but I just want to make sure I am doing these right. I have a hard time understanding what the questions are saying sometimes.

Homework Statement


1)Explain how we may conclude that if f is a decreasing function, then f(5) < f(3)
Make reference to a logical principle. [Note- By defintion, a function g is decreasing i.f.f the conditional "if x<y, then g(x)>g(y)" is true for any real numbers x and y]

2)Suppose A and B are sets and w is an object, for which it is known that A\subseteqB and w\inA. Explain how we may conclude w\in(A\capB) Make reference to a logical principle.

3)Explain why it is true that if a real number x satisfies |x|>a, but it is not the case that x > a, then x < -a must hold. Make reference to a logical principle.

Homework Equations


(p\wedgeq) -> p Law of Simplification
p -> (p\veeq) Law of Addition
[p\wedge(p ->q)] -> q Modus Ponens
[(p\veeq)\wedge ~q] -> p Modus Tollendo Ponens
[(p -> q)\wedge~q] -> ~p Modus Tollens
(p -> r) -> [(p\wedgeq) -> r]
[~p -> (q\wedge~q] -> ~p Law of Contradiction


The Attempt at a Solution


1) The definition of a decreasing function states, "if x<y, then g(x)>g(y)" is true for any real numbers x and y. By hypothsis we know f is a decreasing function, so that the preticular case of the definition, "if 5 < 3, then g(5) > g(3)" is known to be true. --That's as far as I can get using an example form the book as a guideline. I'm not sure where to go from here and which logical principle applies to this argument.--

2) --I know how to explain it but I don't know which logical principle to use.--
A\subseteq B includes all the elements in A that are also elements of B. Since it is given w\in A, by this definiton w is also an element of B. A\capB includes only the elements that A and B share in common. Since w is both an element of A and B, it is one of the elements that A and B share in common, making it an element of A\capB.

3)If a real number x satisfies |x|>a, that means x < -a or x > a. It is also given that it is not the case that x > a. Therefore by Modus Tollendo Ponens we can conclude that x < -a.


If anyone could help me with finding which logical principles apply to one and two, that'd help a lot.
 
Last edited:
Physics news on Phys.org
Anybody out there who could help?
 
I could help you with number 2, you could make use of the "intersection of a subset rule." But you've got the basic idea nailed.

Edit: I think that you could use Universal Modus Ponens for #1.
 
Last edited:
There are two things I don't understand about this problem. First, when finding the nth root of a number, there should in theory be n solutions. However, the formula produces n+1 roots. Here is how. The first root is simply ##\left(r\right)^{\left(\frac{1}{n}\right)}##. Then you multiply this first root by n additional expressions given by the formula, as you go through k=0,1,...n-1. So you end up with n+1 roots, which cannot be correct. Let me illustrate what I mean. For this...
Back
Top