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でこのための論理演算子が1つしかない場合、単純な答えはno：The docs list boolean operationsであり、Pythonにはそのようなものはありません。

明らかに、Juampi's answerが指摘しているように、論理的に同等の操作が少し短くなっていますが、頼んだオペレータは一人もいません。

Answer 3

ここで、私が暗示的な演算子を探していたときの追加の詳細：あなた自身の演算子を定義するために巧妙なハックを使うことができます。ここでは、この結果につながるソースを注釈した実行例を示します。

#!/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はpythonでbool(x) <= bool(y)である可能性があります。

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()