How Is Truth Defined In Logic