A Brief Introduction of Logic. JASRAE 2019, 16 (2), 103-107.