数学
論理学
英
条件文
普遍
[1]
[2]
真
論理積
well-defined
[1]
[3]
[2]
[4]
論理包含
純粋数学
数学的帰納法
[5]
純粋数学
古典論理
実際には存在しない
修飾された
概念の範囲

論理包含
[1]
[3]
[2]
適当な変換で
全称量化
[4]
集合
空集合
型
古典論理
直観論理
論理包含
偽にならざるを得ない
厳密含意
適切さの論理
コンピュータ・プログラミングにおける空虚な真

JavaScript
[6]
Python
[7]
Rust
[8]
例

数学
自然言語
[9]
真
整数
関連項目

ド・モルガンの法則
空和
空積
空関数
前提
ダブルバーレル質問
状況
恒真式
自明性 (数学)
退化 (数学)
a
b
c
Vacuously true
a
b
c
a
b
a
b
Vacuously True
^
Baldwin, Douglas L.; Scragg, Greg W. (2011), Algorithms and Data Structures: The Science of Computing
ISBN
978-1-285-22512-8
^
^
^
^
参考文献

The Oxford Dictionary of Philosophy
Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22?25, 1997, Proceedings
doi
ISBN
978-3-540-63166-8
外部リンク