Có một toán tử logic hợp lý trong python không?

Question

Tôi muốn viết một tuyên bố trong python với hàm ý logic. Cái gì như:

if x => y: 
    do_sth() 

Tất nhiên, tôi biết tôi có thể sử dụng:

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

Nhưng lại có một toán tử logic cho điều này trong python?

Answer 1

p => q cũng giống như not(p) or q, vì vậy bạn có thể thử điều đó!

Answer 2

Câu hỏi của bạn hỏi nếu có một toán tử logic duy nhất cho điều này trong Python, câu trả lời đơn giản là không: The docs liệt kê các phép toán boolean và Python đơn giản là không có bất cứ thứ gì như thế.

Rõ ràng, như Juampi's answer chỉ ra, có các hoạt động tương đương về logic hợp lý ngắn hơn một chút, nhưng không có toán tử đơn lẻ nào như bạn đã yêu cầu.

Answer 3

Chi tiết bổ sung dựa trên những gì tôi đã tìm thấy ở đây và ở đó khi tôi đang tìm kiếm nhà điều hành ngụ ý: bạn có thể sử dụng thông minh để xác định nhà khai thác của riêng mình. Đây là một ví dụ đang chạy được chú thích với các nguồn dẫn tôi đến kết quả này.

#!/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

Chỉ vì điều này thật buồn cười: x => y có thể là bool(x) <= bool(y) trong python.

Answer 5

Có một nhà khai thác ý nghĩa ngược lại:

if y ** x: 
    do_sth() 

này lần đọc: Nếu y được ngụ ý bởi x.

Tín dụng cho https://github.com/cosmologicon/pywat

Answer 6

tôi sẽ tranh luận một dễ đọc hơn một liner sẽ

x_implies_y = y if x else True 

Trong ví dụ ban đầu của bạn:

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