例如:
p:張三工作努力
問:李四成績很好。
然後把上面這句話翻譯成壹個命題公式:p q
除非p，q；
= q，除非p；
=只有P才有可能非Q(否則壹定是Q)；
=如果不是p，那麽q；
擴展數據:
離散化主要研究基於離散量的結構以及它們之間的關系，其對象壹般是有限或可數的元素。
離散數學廣泛應用於各個學科，尤其是計算機科學與技術領域。同時，離散數學也是計算機專業的專業課，如編程語言、數據結構、操作系統、編譯技術、人工智能、數據庫、算法設計與分析、理論計算機科學基礎等。
通過離散數學的學習，不僅可以掌握處理離散結構的描述工具和方法，還可以為後續課程創造條件，提高抽象思維和嚴密的邏輯推理能力，為今後參與創新研發打下堅實的基礎。？
百度百科-離散數學