Unexpectet behavior when not specifing a complete valuation

[Timo-Weike]

If one calls logicly -e "a:0" "a or b" the program responds with False, but this seems not right since not all literals in the expression are bound through the valuation.

---

version 0.1.0.0-alpha

[Timo-Weike]

This behavior comes about through the assumption that every literal that is not set in the valuation is false (0). But I see that this unexpected or even undesirable behavior.