A The name of this probability density function

A
Thread starter Ad VanderVen
Start date Jul 26, 2021
Tags

Density Density function Function Probability Probability density Probability density function

Jul 26, 2021

Ad VanderVen

TL;DR Summary: Looking for the name of some probability density function.

Does anyone knows the name of the probability density function

f(y) =ae^by-cy²

Physics news on Phys.org

Jul 26, 2021

willem2

Isn't that just the normal distibution? Complete the square in the exponent.

Jul 26, 2021

Ad VanderVen

Could be, but this function has support $$y \in (0, \infty)$$.

Jul 26, 2021

RPinPA

Science Advisor

Homework Helper

I think that just makes it a truncated normal.

Jul 27, 2021

Ad VanderVen

I thought so too.

Thread 'Deductive proof in logic formal systems'

I was reading documentation about the soundness and completeness of logic formal systems. Consider the following $$\vdash_S \phi$$ where ##S## is the proof-system making part the formal system and ##\phi## is a wff (well formed formula) of the formal language. Note the blank on left of the turnstile symbol ##\vdash_S##, as far as I can tell it actually represents the empty set. So what does it mean ? I guess it actually means ##\phi## is a theorem of the formal system, i.e. there is a...

View full post »