Teaching Elementary Logic in General Education in Taiwan. ICCE 2020.