MIOsszefoglaloKovetkeztetesElsorenduLogikaban