Premisa batzuetatik konklusio batzuetara heltzeko dedukzio-erregela logikoa.