/usr/lib/python2.7/dist-packages/sympy/logic/ is in python-sympy 1.0-3.
This file is owned by root:root, with mode 0o755.
..
/usr/lib/python2.7/dist-packages/sympy/logic/__init__.py
/usr/lib/python2.7/dist-packages/sympy/logic/algorithms/
/usr/lib/python2.7/dist-packages/sympy/logic/algorithms/__init__.py
/usr/lib/python2.7/dist-packages/sympy/logic/algorithms/dpll.py
/usr/lib/python2.7/dist-packages/sympy/logic/algorithms/dpll2.py
/usr/lib/python2.7/dist-packages/sympy/logic/boolalg.py
/usr/lib/python2.7/dist-packages/sympy/logic/inference.py
/usr/lib/python2.7/dist-packages/sympy/logic/tests/
/usr/lib/python2.7/dist-packages/sympy/logic/tests/__init__.py
/usr/lib/python2.7/dist-packages/sympy/logic/tests/test_boolalg.py
/usr/lib/python2.7/dist-packages/sympy/logic/tests/test_dimacs.py
/usr/lib/python2.7/dist-packages/sympy/logic/tests/test_inference.py
/usr/lib/python2.7/dist-packages/sympy/logic/utilities/
/usr/lib/python2.7/dist-packages/sympy/logic/utilities/__init__.py
/usr/lib/python2.7/dist-packages/sympy/logic/utilities/dimacs.py