[کامپیوتر] منطق پیش فرض - یک سیستم رسمی منطقی که در آن برخی از واقعیت ها یا مقررات نسبت به سایرین اولویت دارند، مثالاً جمله های مربوط به شتر مرغ ها ممکن است بر جمله های مربوط به پرندگان اولویت داشته باشد، زیرا شترمرغ نوع خاصی از پرنده است . پس از آن، می توان تناقض گفت که پرندگان پرواز می کنند، اما شترمرغ خیر. در منطق کلاسیک ؛ جمله های « پروندگان پرواز می کنند » و « شترمرغ ها پرونده هستند » با جمله ی « شترمرغ ها پرواز نمی کنند » تناقض وجود دارد. منطق پیش فرض عمدتاً در سیستمهای ویژه به کار می رود. نگاه کنید به expert system بر خلاف confidence factor; fuzzy logic و نیز نگاه کنید به boolean algebra .
