Some propositions are true for any truth value of their variables. Such propositions are called tautology.

 
  • 某些命題對于變元后的任何一種真值狀況,它均為真,這樣的命題稱(chēng)為重言式。
今日熱詞
目錄 附錄 查詞歷史
国内精品美女A∨在线播放xuan