高校でやる論理の用語を理解する必要ってあるの?