logically true proposition

基本解释

• [数学]逻辑地真命题

专业释义

数学

• 逻辑地真命题