結果 : explain basic connectives in mathematical logic