羅素一朗厄的集合演算
2007-12-29 00:00:00王樹茗
中學數學雜志(高中版) 2007年5期
前言
羅素的集合演算(其內容包括[1]的*20、*22和*24)在經朗厄的[2]予以改進之后，有別于當前中學數學中集合知識的僅在于其論述的深刻性和系統性，從這方面看，它迥異于現今流行的公理集合論，后者排除了中學數學所承認的全集(參閱[3])。
本文假定讀者熟知關于各個聯結詞(包括“蘊涵”和“等值”)的真值表，了解全稱量詞和存在量詞的含義，并且會用這些語詞的記號表達通常的數學命
