# Premisa batzuetatik logikaz erabiliz ondorioak ateratzeko prozesua eta teknika.