Questions on Logic: Proofs answered by real tutors!

Algebra ->  Proofs -> Questions on Logic: Proofs answered by real tutors!      Log On


   



Tutors Answer Your Questions about Proofs (FREE)


Question 387959: 1.(SvT)⊃ (S⊃~T)
2.(S⊃~T) ⊃ (T⊃K)
3.SvT /SvK

Click here to see answer by jim_thompson5910(35256) About Me 

Question 388751: ~Bv[(C>D)•(E>D)]
B•(CvE)
Conclusion: D

Click here to see answer by jim_thompson5910(35256) About Me 

Question 389409: Hello!
what is the logic to write in excel if I have a list of 5000 numbers but need to only show all numbers that are divisible by 50?
Thanks and happy new year
Chris

Click here to see answer by richard1234(7193) About Me 

Question 390781: Hello, i was just wondering if there were actually tutors on here that could help me with my logic class...i have been striking out everywhere i look. I am having problems with proofs and figuring out how to do them in deductive logic. thank you.
Click here to see answer by solver91311(24713) About Me 

Question 392563: prove tht if p^2 can be divided by 3 then p can be divided by 3.
Click here to see answer by haileytucki(390) About Me 

Question 398071: The rate of color toner increases $33 to $35 and rate of black&white toner increases $28 to $29 if company spend $1540 in which 3/5 is color toner how much is total expenditure.
Click here to see answer by Tatiana_Stebko(1539) About Me 

Question 398122: one leg of a right triangle is 6 meters and the hypotenuse is 12 meters. the approximate length of the second leg is
Click here to see answer by MathLover1(20849) About Me 

Question 399970: What is the law of material implication?
Click here to see answer by sofiyac(983) About Me 

Question 401254: I never had algebra/math/geometry/trig in high school. I'm trying to get my GED at this time. What would be the next subject that I need to concentrate on learning?

Click here to see answer by richard1234(7193) About Me 

Question 403583: This is my question:
Suppose that G is a group and g,h are elements of G. There exists a k in G such that kgk=h if and only if gh=m^2 for some m in G.
I have already have:
Let k be in G and kgk=h. We can perform the operation on each side of the equation to get gkgk=gh=(gk)^2. m=gk and by the closure component of a group we know that gk is in G so we know that m is in G also.

I do not get how to prove it the other way. Please can you help.

Click here to see answer by robertb(5830) About Me 

Question 404221: Does water reflect light in the same way with mirrors? i mean...angle of reflection = angle of incidence?
Click here to see answer by richard1234(7193) About Me 

Question 407242: Prove or disprove:
i divides n^3(in otherwords n^3/i is an integer), then i divides n.

Click here to see answer by richard1234(7193) About Me 

Question 411727: Here is a proof that I have been unable to solve. I can solve it using Indirect Proof but it is listed under the section that states it is solvable by use of the 18 rules of Implication and equivalence. It is driving me nuts!
Here it is:
1. (O horseshoe R) horseshoe S
2. (P horseshoe R) horseshoe ~S /~R
I know I can derive ~R by Hypothetical Syllogism if I could somehow get rid of the O and the P. I can use exportation to get (O dot R) horseshoe S, and (P dot R)horseshoe ~S, but I can't disconnect those statements from the ones I need to derive a tautology through Material Implication, that is:
(R horseshoe S)
(R horseshoe ~S)


So I'm stuck. This is not an assigned problem; it's one I found. I'm a pretty good beginning logic student and enjoy working all the problems I can find, but this one has me stymied!

Click here to see answer by richard1234(7193) About Me 

Question 429080: Complete this proof


1. A>D
2. D>B
3. A
Conclusion: A•B

Click here to see answer by jorel1380(3719) About Me 

Question 436449: Consider only vectors in R^3
Proof: if v dot w = 0 for all v, then w = 0
Please help, i tried through a counterexample and my professor didn't like it.

Click here to see answer by robertb(5830) About Me 

Question 436451: Consider only vectors in R^3
Please help with this PROOF
if u dot v = u dot w for all u, then v = w
not using a counterexample... thanks for your help

Click here to see answer by robertb(5830) About Me 

Question 437283: 3) If the account in Genesis is literally true, then the sun was not created until the fourth day. And if the sun was not created until the fourth day, it could not have been the cause of the alternation of day and night for the first three days. But either the word “day” is used in scripture in a different sense from that in which it is commonly accepted now or else the sun must have been the cause of the alternation of day and night for the first three days. Hence it follows that either the account in Genesis is not literally true or else the word “day” is used in scripture in a different sense from that which it is commonly accepted now. (G, C, A, D)
I've gotten this far -
1) G  - C Premise
2) - C  - A Premise
3) D v A Premise /  -G v - D
4) G  - A 1,2 HS
5)

Click here to see answer by richard1234(7193) About Me 

Question 440280: if quizes are quizical what are tests?
Click here to see answer by richard1234(7193) About Me 

Question 440717: Imagine a checkers tournament between Person A and Person B (A and B). They play at most 2n matches and whoever first wins n+1 matches wins the tournament (the tournament ends once one person wins n+1 matches). Two tournaments are different if they have a different sequence of games where A wins and where B wins. Assume that A wins the tournament (so the tournament has n+1 wins for A). How many different tournaments are there where B wins exactly r games (r is less than n)?
Click here to see answer by richard1234(7193) About Me 

Question 443211: Show that for all k and all v>0, ln(v^k) = k(ln v) and log(v^k) = k(log v)
Click here to see answer by swincher4391(1107) About Me 

Question 444191: a number between 10 and 100 is five times the sum of its digits. if 9 be added to it the digits are reversed, find the number.....??????
Click here to see answer by chriswen(106) About Me 

Question 448954: Using LAW OF SINES Round to the nearest tenth.
Find BC: triangle is laying on it's side with the point to the right point(A).

B to C= 61 degrees
C to A= 23 cm
A to B= 12 degrees

Click here to see answer by Alan3354(69443) About Me 

Question 459028: How do you work this problem out?
1. P∙P
2. Q→~P ∴ ~Q

Click here to see answer by jim_thompson5910(35256) About Me 

Question 459663: 6x-12=5x+2 is what therom when solving proofs
Click here to see answer by richard1234(7193) About Me 

Question 459660: 6x-12=5x+2 is what therom when solving proofs
Click here to see answer by solver91311(24713) About Me 

Question 460393: The average of 5 numbers is 48.The average of the first 3 numbers is 30. The forth number is 20 more then the fifth number. What is the fourth number.
Click here to see answer by ankor@dixie-net.com(22740) About Me 

Question 469066: i need complete solution for this logical proof
AB+CD=(A+C)(A+D)(B+C)(B+D)
Where:
A+BC=(A+B)(A+C)
A+AB=A
A+B=B+A
A= AA
A+A=A

Click here to see answer by robertb(5830) About Me 

Question 474140: Proof for:
P -> Q Therefore ~Q -> ~P

Click here to see answer by Edwin McCravy(20055) About Me 

Question 480868: Who Came First into existence: HEN OR EGG?????
Click here to see answer by richard1234(7193) About Me 

Question 483036: Use the 17 rules of inference to prove the arguments valid:
I did not have the right keys for some of the logical operators, so here is what they are:
~ negation
. conjunction
v disjunction
> implication
= equivalence
Thanks!!
1) 1. (S v Q) / ~P > ~S

Click here to see answer by solver91311(24713) About Me 

Question 483662: please, please help!
let p,q,and r be the following statements.
p:jamis is on the train
q:sylvia is at the park
r:nigel is in the car
translate the following into english (~q^r)-->~p

Click here to see answer by Tatiana_Stebko(1539) About Me 

Question 490733: Theroem: If a is even and b is odd, then ab is even??
Proof:???

Click here to see answer by richard1234(7193) About Me 

Question 495926: 1)Suppose the hard disk above has 1024 cylinders, 8 tracks per cylinder, 32 sectors per track and 512 Bytes per sector. The maximum seek time is 450 msec, the time to move between adjacent cylinders is 10 msec, the rotation time is 14ms.
a) If the entire disk was full of data stored consecutively, how much time would it take to read the entire disk if the read/write head is already positioned on the first sector of the first track of the first cylinder of the disk?
b) Find the total capacity of the disk?
c) Find the maximum access time (worst case) for 800KB of data not stored on consecutive tracks.
2)Assume that a 2400 foot magnetic tape has recording density of 6400 Bpi. Data (logical) records are 100 bytes, and the memory buffer is 10,000 bytes. What is the largest IRG that will allow 80 percent of the tape to be data?

Click here to see answer by s11042581(1) About Me 

Question 505225: prove that if a%3Cb and c%3Cd then a%2Bc%3Cb%2Bd
Click here to see answer by MathLover1(20849) About Me 

Question 507563: given:5+5(x+6)=50
prove:5x+9=24
make a two column proof

Click here to see answer by jim_thompson5910(35256) About Me 

Question 507684: Conjecture: Find all positive integers 'a' such that there exists an integer 'm' with the property that a|(m^2+1) and a|((m+1)^2 +1).
Hint: First show that 'a' must also divide 2m+1.
I know that when m divides n it can be defined as n=(m)(q). So in this case it would be (m^2+1)=(a)(q), and so forth with the other problems. I'm not sure if this is correct but since (m^2+1)=(a)(q) and ((m+1)^2 +1)=(a)(q) so I set
(m^2+1)=((m+1)^2 +1). I then foiled, moved everything to one side and simplified and got 2m+1 with is relevant to the hint, I think. I don't know if I'm going in the right direction but I've seem to have hit a wall. Also, I don't really know how to show that a|2m+1. Please help. Thanks.

Click here to see answer by richard1234(7193) About Me 

Question 509899: URGENT:
P. R->~Q. P->Q therefore ~R
I need to write out a proof for the following problem using repetition, motus ponen, motus tollens, double negation, etc. This is not graded, but I'm trying to understand it and any help would be appreciated.

Click here to see answer by Edwin McCravy(20055) About Me 

Question 516605: There exists an integer 'a' such that if a|2m+1 and/or a|(m^2+1) and/or a|(m+1)^2+1, then a|4n+7.
Note: Anywhere from 1 - 3 of the assumptions can be used to prove 'a' divides 4n+7, so you can use a|2m+1 to prove a|4n+7, or you can use a|2m+1 and a|(m^2+1)to prove a|4n+7, or you can use a|2m+1, a|(m^2+1), and a|((m+1)^2+1) to prove a|4n+7, or any other combination.

Click here to see answer by richard1234(7193) About Me 

Question 517510: Proposition: If 'a' is a type 1 unteger and 'b' is a type 2 integer, then (a^2-b) is a type 2 integer.
Note:a type 1 integer is defined as x=3y+1 and i type two integer is defined as x=3y+2
This is what have so far:
Proof: We let a be a type 1 integer and b be a type 2 integer. We will show that a^2-b is a type 2 integer. By the definitions of a type 1 integer and type 2 integer, there are integers m and n such that a=3m+1 and b=3n+2. By substitution and the use of algebra we see that a^2-b = (3m+1)2-(3n+2)
= (9m2+6m+1-3n-2)
= (9m2+6m-3n)-1-2
= 3(3m2+2m-n)-1
I know that 3(3m2+2m-n)-1 is a type two integer, I just don't know how to re-write it so it satisfies the definition of a type 2 integer, meaning I don't know how to get it into the x=3y+2 format.

Click here to see answer by richard1234(7193) About Me 

Question 518763: Given: 3x+5/2 (over two) Prove: x=3
Click here to see answer by richard1234(7193) About Me 

Question 519617: Hello,
I have a quick question and would like to see the answer thank you. Please response back as soon as possible.
The difference of the squares of two positive integers which differ by 2 is a perfect square n^2 . Find all possible values of n.
I will be waiting for your response and thank you.


Click here to see answer by Edwin McCravy(20055) About Me 
Question 519617: Hello,
I have a quick question and would like to see the answer thank you. Please response back as soon as possible.
The difference of the squares of two positive integers which differ by 2 is a perfect square n^2 . Find all possible values of n.
I will be waiting for your response and thank you.


Click here to see answer by Mohammad123(2) About Me 

Question 524132: There is a famous theorem in Euclidean geometry that states that the sum of the interior angles of a triangle is 180 degrees.
a)Use the theorem about triangles to determine the sum of the angles of a convex quadrilateral. Hint: Draw a convex quadrilateral and draw a diagonal.
b) Use the result in Part(1) to determine the sum of the angles of a convex pentagon.
c) Use the result in Part(2) to determine the sum of the angles of a convex hexagon.
d)Let 'n' be a natural number with 'n'> or = to 3. Make a conjecture about the sum of the angles of a convex polygon with 'n' sides and use mathematical induction to prove your conjecture.
** I've figured out a, b, and c. I've also created a conjecture for d. Here's what I have: "Let 'n' be a natural number with 'n'> or = to 3. For any convex polygon with 'n' sides, the sum of the angle of the polygon is 180(n-2)". I have my basis class which is when n=3 then the sum = 180 degrees, but I don't know how to prove my induction step. I know (k+1) must be substitued in for 'n' at some point but not sure when and what to do. Please help.

Click here to see answer by stanbon(75887) About Me 

Question 527300: Disprove:
If a, b, and c are integers such that a does not divide b and c does not divide d, then a+c does not divide b+d

Click here to see answer by richard1234(7193) About Me