Python Sympy erfüllbar vs. lösbar? ⇐ Python

[Guest]

Ich lerne, Sympy zu verwenden und tue es

Code: Select all

>>> from sympy import *
>>> x, y, z, t = symbols('x y z t')
>>> k, m, n = symbols('k m n', integer=True)
>>> f, g, h = symbols('f g h', cls=Function)
>>> init_printing()
>>> satisfiable((x > 3) & (x == 1))
False

was richtig ist. Aber wenn ich den letzten Teil dieser Anweisung ändere

Code: Select all

>>> print(satisfiable((x > 3) & (x