Truth is often a matter of logic and reasoning. Discussion on veracity is not complete without exploring how logic can help. In this chapter we consider modeling data in ways that formal methods such as Boolean logic can be used to solve veracity related issues.