Definition Of Truth In Logic