# Informazio batetik logikoki eratortzen den proposizioa.