I Equivalence Question between when-then statement and if then statement

[cbarker1]

TL;DR Summary

What is the equivalence between when then and if-then statement

Dear Everybody,

I am working on my homework. I am trying to prove a problem that was written by my professor in an odd way: Prove that when p is true, then q is true. Which proposition statement should I assume? I personally thought that I should assume the first one. But reading my introduction to proof writing it says "Q, when P for implication statement." Now, I am confused on what to assume?

Thanks,
Cbarker1

 

[fresh_42]

Who wrote the book? I'm pretty sure we can assume "if" in those cases, except in case the statement is time-dependent.

 

[cbarker1]

I forgot to add that my professor wrote the problem.

 

[fresh_42]

I was asking because it might be a language issue. "If" in German is "wenn" so it could be a translation problem. Another, possibly more likely reason could be that "when" is commonly used in the same sense as "if", disregarding the timely connotation of "when". When it happens it does not necessarily require a time scale. It simply means if it happens.

 

[PeroK]

TL;DR Summary: What is the equivalence between when then and if-then statement

Dear Everybody,

I am working on my homework. I am trying to prove a problem that was written by my professor in an odd way: Prove that when p is true, then q is true. Which proposition statement should I assume?

I can't see that "when p is true, then q is true" could possibly mean "if q, then p". Words and phrases like "assuming", "whenever", "when", "in the event that", "under the assumption that" etc. are sometimes used instead of the more formal "if".