Computing Type 1 Error Rate for Coin Test

  • Thread starter Thread starter EvLer
  • Start date Start date
  • Tags Tags
    Testing
AI Thread Summary
To compute the Type I error rate for the coin test, the null hypothesis (Ho) is that the coin is fair, represented as 11/30 < p < 19/30, while the alternative hypothesis (H1) states that p is either less than 11/30 or greater than 19/30. The Type I error probability is calculated as the sum of the probabilities of observing results that fall outside the acceptance range under the null hypothesis. This involves determining P(p < 11/30) and P(p > 19/30) based on the binomial distribution for 30 tosses. The initial assessment of the approach appears to be correct.
EvLer
Messages
454
Reaction score
0
How would I compute the type 1 error rate of the following test:

accept that coin is fair if in 30 tosses the coin gives between 11 and 19 heads (inclusive), reject otherwise.

I guess my Ho is 11/30<p<19/30
and H1: p < 11/30 or p > 19/30

so type I prob = P(p < 11/30) + P(p > 19/30) both under Ho.
Is this correct?

thanks
 
Physics news on Phys.org
it should be right, i think
 
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...

Similar threads

Replies
41
Views
7K
Replies
6
Views
2K
Replies
9
Views
4K
Replies
5
Views
2K
Replies
43
Views
4K
Replies
57
Views
6K
Replies
5
Views
1K
Replies
4
Views
2K
Back
Top