單條件

數理邏輯中的5種常用連線詞之一。

基本介紹

  • 中文名:單條件
定義,真值,

定義

數理邏輯中的5種常用連線詞之一。記作“→ ”。它是二元運算。相當於“如果……那么……”、“因為……所以……”、“只要……就……”等。也可稱為“蘊涵”。“p→q”讀作“如果p,那么q”,其中p稱為前件,q稱為後件。

真值

單條件

相關詞條

熱門詞條

聯絡我們