Logic học đại cương : / Vương Tất Đạt - Vương, Tất Đạt