存在汎化
出典: フリー百科事典『ウィキペディア(Wikipedia)』 (2022/05/21 14:46 UTC 版)
モーダスポネンス
モーダストレンス
モーダスポネンストレンス
連言導入
簡単化
選言導入
選言除去
選言三段論法
仮言三段論法
構成的ジレンマ
破壊的ジレンマ
二条件導入
- ^ Copi, Irving M.; Cohen, Carl (2005). Introduction to Logic. Prentice Hall
- ^ Hurley, Patrick (1991). A Concise Introduction to Logic 4th edition. Wadsworth Publishing
- ^ pg. 347. Jon Barwise and John Etchemendy, Language proof and logic Second Ed., CSLI Publications, 2008.
- ^ Willard Van Orman Quine; Roger F. Gibson (2008). “V.24. Reference and Modality”. Quintessence. Cambridge, Massachusetts: Belknap Press of Harvard University Press Here: p.366.
- 存在汎化のページへのリンク