MHB How Should I Start My Probability Question to Get the Best Help?

  • Thread starter Thread starter Marcus Cheng
  • Start date Start date
  • Tags Tags
    Probability
AI Thread Summary
To receive the best help with probability questions, users should share their progress, including any work done or initial thoughts. This practice allows helpers to understand where the user is struggling and avoid suggesting solutions that have already been attempted. Providing context enhances the quality of assistance and saves time for both the user and the helper. Engaging with the community in this manner fosters more effective problem-solving. Sharing your progress is essential for optimal support in tackling probability challenges.
Marcus Cheng
Messages
1
Reaction score
0

Attachments

  • Screen Shot 2018-03-13 at 3.37.54 pm.png
    Screen Shot 2018-03-13 at 3.37.54 pm.png
    55.1 KB · Views: 96
Physics news on Phys.org
Hello Marcus Cheng and welcome to MHB! :D

We ask that our users show their progress (work thus far or thoughts on how to begin) when posting questions. This way our helpers can see where you are stuck or may be going astray and will be able to post the best help possible without potentially making a suggestion which you have already tried, which would waste your time and that of the helper.

Can you post what you have done so far?
 
I'm taking a look at intuitionistic propositional logic (IPL). Basically it exclude Double Negation Elimination (DNE) from the set of axiom schemas replacing it with Ex falso quodlibet: ⊥ → p for any proposition p (including both atomic and composite propositions). In IPL, for instance, the Law of Excluded Middle (LEM) p ∨ ¬p is no longer a theorem. My question: aside from the logic formal perspective, is IPL supposed to model/address some specific "kind of world" ? Thanks.
I was reading a Bachelor thesis on Peano Arithmetic (PA). PA has the following axioms (not including the induction schema): $$\begin{align} & (A1) ~~~~ \forall x \neg (x + 1 = 0) \nonumber \\ & (A2) ~~~~ \forall xy (x + 1 =y + 1 \to x = y) \nonumber \\ & (A3) ~~~~ \forall x (x + 0 = x) \nonumber \\ & (A4) ~~~~ \forall xy (x + (y +1) = (x + y ) + 1) \nonumber \\ & (A5) ~~~~ \forall x (x \cdot 0 = 0) \nonumber \\ & (A6) ~~~~ \forall xy (x \cdot (y + 1) = (x \cdot y) + x) \nonumber...
Back
Top