tecrübe sayısal mantık