Skip to main content
2 of 2
edited body
Oliver Mason
  • 3.2k
  • 12
  • 29

Use of se ... tiam ... in logical statements

When writing mathematics or logic, one uses the construction "if A, then B" such as "if triangle ABC is equilateral, then its angles are all equal". I know the translation is se A, tiam B. But I find tiam a little jarring, as it is supposed to be specifically temporal, while in the sentence above, the triangle is equilateral independent of time. It doesn't suddenly have all equal angles, it always had all equal angles. In a phrase such as "if the weather is good, then we will go camping", the temporal meaning is the right one. I know I could drop tiam and just say se A, B, but mathematicians on purpose put "then" in the construction as the hypothesis can be complicated including having several commas, so you need some word to say when hypotheses (A) stop and the conclusion (B) begins. So the question is, is there another solution that doesn't bring in time? Or is tiam always used even in this context, and I should get over my unease about it.

Jiri Lebl
  • 1.5k
  • 10
  • 17