inferentzia-erregela

Premisa batzuetatik konklusio batzuetara heltzeko dedukzio-erregela logikoa.