Skip to main content
1 of 2
Jiri Lebl
  • 1.5k
  • 10
  • 17

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