空虚な真
□記事を途中から表示しています
[最初から表示]
^ “Iterator in std::iter - Rust”. doc.rust-lang.org. 2023年11月11日閲覧。
^ “logic - What precisely is a vacuous truth?”. Mathematics Stack Exchange. 2023年11月11日閲覧。
参考文献
Blackburn, Simon (1994). "vacuous," The Oxford Dictionary of Philosophy. Oxford: Oxford University Press, p. 388.
David H. Sanford (1999). "implication." The Cambridge Dictionary of Philosophy, 2nd. ed., p. 420.
Beer, Ilan; Ben-David, Shoham; Eisner, Cindy; Rodeh, Yoav (1997). ⇒Computer Aided Verification: 9th International Conference, CAV'97 Haifa, Israel, June 22?25, 1997, Proceedings. Lecture Notes in Computer Science. Vol. 1254. pp. 279?290. doi:10.1007/3-540-63166-6_28. ISBN 978-3-540-63166-8。
外部リンク
Conditional Assertions: Vacuous truth
記事の検索おまかせリスト▼オプションを表示暇つぶしWikipedia
Size:18 KB
出典: フリー百科事典『ウィキペディア（Wikipedia）』
担当:undef