/usr/share/pyshared/sympy/logic/ is in python-sympy 0.7.1.rc1-3.
This file is owned by root:root, with mode 0o755.
..
/usr/share/pyshared/sympy/logic/__init__.py
/usr/share/pyshared/sympy/logic/algorithms/
/usr/share/pyshared/sympy/logic/algorithms/__init__.py
/usr/share/pyshared/sympy/logic/algorithms/dpll.py
/usr/share/pyshared/sympy/logic/algorithms/dpll2.py
/usr/share/pyshared/sympy/logic/boolalg.py
/usr/share/pyshared/sympy/logic/inference.py
/usr/share/pyshared/sympy/logic/tests/
/usr/share/pyshared/sympy/logic/tests/test_boolalg.py
/usr/share/pyshared/sympy/logic/tests/test_dimacs.py
/usr/share/pyshared/sympy/logic/tests/test_inference.py
/usr/share/pyshared/sympy/logic/utilities/
/usr/share/pyshared/sympy/logic/utilities/__init__.py
/usr/share/pyshared/sympy/logic/utilities/dimacs.py