Threads Tagged with deduction Thread / Thread Starter Last Post Replies Views Forum P is a one-place predicate, t is a constant, v is a variable of P. P(t/v) denotes replacing v by t in P. In the... Nov12-13 01:42 PM darkchild 1 249 Set Theory, Logic, Probability, Statistics 1. The problem statement, all variables and given/known data I need to obtain the Bessel functions of the second... Mar19-13 05:44 PM Rulonegger 1 332 Calculus & Beyond Homework 1. The problem statement, all variables and given/known data Dear all I have a question concerning the Coriolis... Dec17-12 06:07 PM tiny-tim 3 516 Introductory Physics Homework Dear all I have a question concerning the Coriolis acceleration expression. I learnt it as Ac = -2ω x v, where ω... Dec17-12 06:03 PM A.T. 4 641 Classical Physics The statement reads as follows f\rightarrowg, \neg(h\wedgeg), h can conclude \negf I want to make the assumption... Oct1-12 07:16 PM Chandasouk 0 240 Calculus & Beyond Homework My hypothesis is to use two different stable heat sources with different tempreature T1 and T2 (T1>T2) transmits the... Jun24-12 02:19 AM Zhaozhong Shi 12 1,152 Classical Physics 1. The problem statement, all variables and given/known data Given a triangle ABC with BC = 2AB. D and E are the... Oct28-11 03:34 PM verty 3 879 Precalculus Mathematics Homework I need to make the deduction of this formula V2 = V02 +- 2g(y - y0) Could you guys help me? this is so hard for me... Sep26-11 05:40 PM Ignea_unda 1 1,256 Introductory Physics Homework I just meet some easy problem like this, Does a monkey have a better chance of rearranging or I I I L L N O S to... Sep6-11 08:59 AM HallsofIvy 1 1,309 Set Theory, Logic, Probability, Statistics I have found that for a number of students doing proofs is an unnecessary evil. For some of them it is like a painful... Jul22-11 10:15 AM thegreenlaser 14 1,676 General Discussion 1. The problem statement, all variables and given/known data Prove by natural deduction ((X \Rightarrow... Jul19-11 09:48 PM TinyTex 2 1,202 Calculus & Beyond Homework 1. The problem statement, all variables and given/known data Prove by both natural deduction and by resolution ((X... Jul19-11 04:59 PM TinyTex 1 660 Calculus & Beyond Homework Could one deduce mathematically the inverse-square nature of the law of gravity from measurement of the parabolic... Jun21-11 04:07 PM mathman 5 1,143 Classical Physics Hi, I need to know if Planck´s original deduction (I mean the one he presented in his 1900 paper) for the black-body... Mar4-11 10:23 AM aleazk 7 1,521 Quantum Physics In class my professor for thermodynamics made the following deduction: We write dE = \left( \frac{dE}{dT}... Sep25-10 02:58 PM Studiot 20 3,276 Classical Physics Bacon did not propose an actual philosophy, but rather a method of developing philosophy. He argued that although... Jun18-10 05:03 PM jackson6612 7 5,062 General Discussion 1. The problem statement, all variables and given/known data I am new at logic and i'm stuck on a problem set: a)... Apr16-10 02:41 PM Mark44 9 736 Calculus & Beyond Homework Hello, I'm currently working on some automated wagering tools. Calculating payouts and such. However I've hit a... Mar19-10 03:04 PM m0j0nz0r 0 1,963 General Math I have questions about the deduction of law of centripetal force ... Feb15-10 06:55 PM Doc Al 16 4,168 General Physics I want to write a program that can do algebraic transformations and mathematical deduction for me. It's not meant to... Jan5-10 08:22 PM Gerenuk 5 2,439 General Math 1. The problem statement, all variables and given/known data Here's the problem, with the attached diagram. 2.... Apr6-09 03:00 PM Billy Bob 1 5,971 Calculus & Beyond Homework Introduction Hello, I have some problems proving the following problem: "AvB |- BvA". I would like to prove this... Jan4-09 09:13 AM temp_tsun 0 2,771 Engineering, Comp Sci, & Technology Homework My situation: I did good in high-school, learned algebra, functions, exp/log functions, limits/continuity,... Nov30-08 10:39 AM mathwonk 13 2,245 Science & Math Textbooks Can somebody please explain the negation elimination rule in natural deduction to me? I've read a few explanations and... May29-08 01:41 AM LukeD 39 9,028 Set Theory, Logic, Probability, Statistics If I have P l- Q in FOL and P is closed, can I infer l- P -> Q. IIRC, this is valid as long as P is closed, but my... Mar14-08 08:39 PM Jeroslaw 1 1,287 General Math Please Help: I need to provide logical proofs for the following argument: 1. ~~Tv~R 2. ~(Sv~R) 3. (T&~S)>~Q... Mar12-08 12:26 AM jbehling 0 4,798 General Discussion 1. The problem statement, all variables and given/known data HELP! I need to provide proofs for the following... Mar12-08 12:19 AM jbehling 0 1,272 Biology, Chemistry & Other Homework 1. The problem statement, all variables and given/known data Sigma = { ~S V R, R -> P, S } Give a deduction with... Oct3-07 09:41 PM AsianSensationK 1 1,600 Calculus & Beyond Homework Anybody that can show how to deduce cos(a+b) = cos(a)cos(b) - sin(a)sin(b) sin(a+b) = sin(a)cos(b) + sin(b)cos(a)... Jun21-07 12:32 AM Hymne 3 1,344 General Math Here it is, tell me who is wrong... A definition of Induction and Deduction in a general science field: ... Sep7-06 08:40 PM Swapnil 43 13,094 General Math Hi, I need help please! :cry: In the class that I am in we went from doing tables to this shorter version, and... Aug7-06 12:08 AM kj_67 0 2,643 Biology, Chemistry & Other Homework Let \varphi and \psi both be formulae, and let \Gamma be a set of formulae. If \Gamma \cup \{\varphi\} \models... Aug1-06 07:54 AM honestrosewater 8 2,167 Set Theory, Logic, Probability, Statistics Please help me to solve the following question : ABCD is a parallelogram .BA is procude to X and BA=AX . Prove that... May3-06 04:27 AM Curious3141 12 1,628 Precalculus Mathematics Homework This is Propositional Logic. I just need to fill in the steps. Most obviously, if I can infer R -> S, I have a... Mar2-05 11:30 AM Bartholomew 8 1,001 Set Theory, Logic, Probability, Statistics I'm only interested in the inference rules. I've read that people use different sets of rules, and I'm trying to find... Feb28-05 04:17 AM Owen Holden 3 3,574 Set Theory, Logic, Probability, Statistics How can we improve our Deductive Reasoning Power systematically? Do you have any strategies for it? Jan9-05 11:36 AM selfAdjoint 4 2,133 Academic Guidance Hello everybody... First of all I would like to know if anyone is spanish-speaking or lives in Mexico. Second of... Dec4-04 12:54 AM mprm86 6 2,065 General Math Hey everybody, First of all, I wanna know if there´s any Mexicans or Spanish-speaking people... Second, I´m on a... Nov29-04 09:31 PM cosmon 0 793 Introductory Physics Homework http://mathworld.wolfram.com/DeductionTheorem.html before reading this i thought deduction was axiomatic process... Oct26-04 10:10 AM MathematicalPhysicist 13 1,738 General Discussion Does anyone know a set of axioms for natural deductions? One which leads to the rest of the tautologies of the... Apr6-04 06:55 PM StarThrower 6 1,866 General Discussion