离散数学，谓词逻辑
运用谓词逻辑的推理理论，符号化下列命题：过已知直线外一点有且仅有一条直线垂直于已知直线。
p是事件a线过o点垂直于c，q是事件b线过o点垂直于c，z是事件b//a，x是事件两线交与一点，y是事件两线重合那么由p∩q->z然后由x∩z->y