Sentential Logic Truth Trees