therefore symbol formal logic. There are any references about therefore symbol formal logic in here. you can look below.