直线平行与不相交的命题形式化

设命题P为"L1平行于直线L2"，命题Q为"直线L1与直线L2不相交"。\n\n则可以形式化为：\nP ⇔ Q

原文地址: http://www.cveoy.top/t/topic/bd8C 著作权归作者所有。请勿转载和采集!