# Premisa edo proposizio batzuetatik eratortzen den ondorio logikoa.