Determining validity and truth-values