高中数学中的推出符号的使用.pdfVIP

高中数学中的推出符号的使用 推出符号 （又称双推符号）是正确的推理“因为…，所以…”的简写形式。  例如，“因为A，所以B”，意指“由A 成立可得到B 必成立”，这时用推出符 号表示为：A  B ，其中命题A 称为条件、命题B 称为结论，简称“由A 推出B” 或“A 是B 的充分条件”。 这时，命题A、B 的关系称为因果关系。因果关系具 备自反性（即A  A ）和传递性（即“若A  B ，B  C ，则A  C ”），但不 具备对称性（即若A  B ，则未必有B  A ）。 推