python中是否有蘊含邏輯運算符？

Question

我想寫一個語句在Python中的邏輯蘊涵。 喜歡的東西：

if x => y: 
    do_sth() 

當然，我知道我可以使用：

if (x and y) or not x: 
    do_sth() 

但有一個邏輯運算符，這在Python？

Answer 1

p => q與not(p) or q相同，所以你可以試試！

Answer 2

您的問題在Python中是否存在單個邏輯運算符，簡單的答案是否定的：The docs列表布爾運算，Python根本就沒有這樣的東西。

顯然，正如Juampi's answer所指出的那樣，邏輯上等價的操作有點短，但沒有一個操作符正如你問的那樣。

Answer 3

基於我在這裏和那裏找到的內容，我在尋找一個蘊涵運算符的額外細節：您可以使用巧妙的hack來定義您自己的運算符。這裏是一個正在運行的示例，它帶有源代碼，可以讓我看到這個結果。

#!/usr/bin/python 

# From http://code.activestate.com/recipes/384122/ (via http://stackoverflow.com/questions/932328/python-defining-my-own-operators) 
class Infix: 
    def __init__(self, function): 
     self.function = function 
    def __ror__(self, other): 
     return Infix(lambda x, self=self, other=other: self.function(other, x)) 
    def __rlshift__(self, other): 
     return Infix(lambda x, self=self, other=other: self.function(other, x)) 
    def __or__(self, other): 
     return self.function(other) 
    def __rshift__(self, other): 
     return self.function(other) 
    def __call__(self, value1, value2): 
     return self.function(value1, value2) 

from itertools import product 

booleans = [False,True] 

# http://stackoverflow.com/questions/16405892/is-there-an-implication-logical-operator-in-python 
# http://jacob.jkrall.net/lost-operator/ 
operators=[ 
    (Infix(lambda p,q: False),     "F"), 
    (Infix(lambda p,q: True),     "T"), 
    (Infix(lambda p,q: p and q),    "&"), 
    (Infix(lambda p,q: p or q)   ,  "V"), 
    (Infix(lambda p,q: p != q)   ,  "^"), 
    (Infix(lambda p,q: ((not p) or not q)),  "nad"), 
    (Infix(lambda p,q: ((not p) and not q)), "nor"), 
    (Infix(lambda p,q: ((not p) or q)),   "=>"), 
    ] 

for op,sym in operators: 
    print "\nTruth tables for %s" % sym 

    print "\np\tq\tp %s q\tq %s p" % (sym,sym) 
    for p,q in product(booleans,repeat=2): 
     print "%d\t%d\t%d\t%d" % (p,q,p |op| q,q |op| p) 

    print "\np\tq\tr\tp %s q\tq %s r\t(p %s q) %s r\tp %s (q %s r)\tp %s q %s r" % (sym,sym,sym,sym,sym,sym,sym,sym) 
    for p,q,r in product(booleans,repeat=3): 
     print "%d\t%d\t%d\t%d\t%d\t%d\t\t%d\t\t%d" % (p,q,r,p |op| q,q |op| r, (p |op| q) |op| r, p |op| (q |op| r), p |op| q |op| r) 
     assert((p |op| q) |op| r == p |op| q |op| r) 

Answer 4

只是因爲它很有趣：x => y可能是bool(x) <= bool(y)在Python中。

Answer 5

有一個相反的蘊涵算：

if y ** x: 
    do_sth() 

這寫着：如果y由X暗示。

貸https://github.com/cosmologicon/pywat

Answer 6

我認爲一個更可讀的一個班輪將

x_implies_y = y if x else True 

在你原來的例子：

if (y if x else True): do_sth()