استدلال
تمثیل سرایت دادن حکم یک موضوع به موضوع دیگر به دلیل مشابهت آن دو به یکدیگر است. واژهٔ تمثیل در این بافت به معنای تشبیه کردن یا مانند کردن چیزی به چیزی دیگر به‌کار رفته‌است. در استدلال تمثیلی می‌کوشیم تا براساس همانندی بین دو چیز، حُکمی را که برای یکی از آن‌ها درست می‌دانیم برای دیگری هم درست بدانیم. نکتهٔ درخورِ توجه در این استدلال آن است که این استدلال برپایهٔ همانندی است نه محتوا. استدلال تمثیلی برپایهٔ وجه‌شبه بین دو چیز است؛ برای نمونه گُمان می‌کنیم شخصی به‌نام حسین تیزهوش است. حسین برادری به‌نام حسن دارد. وجه‌شبه حسین و حسن برادری آن‌ها نسبت به یکدیگر است؛ ازهمین‌رو، می‌گوییم چون حسن برادر حسین است، حسن هم تیزهوش است. چنین استدلالی تنها براساس برادری بین حسین و حسن پایه‌گذاری شده‌است.
استدلال خودکار
توسعهٔ منطق نقش به سزایی در پیشرفت استدلال خودکار داشته‌است. یک اثبات درست، اثباتی‌ست که در آن هر استنتاجی که استفاده می‌شود، اصل آن بر پایهٔ اصول منطق باشد. همهٔ مراحل اثبات باید به درستی نشان داده شده و پذیرش آن بر اساس شهود نباشد. این باعث کم شدن خطا در اثبات می‌شود. بسیاری گفته‌اند که گردهمایی Cornell Summer در سال ۱۹۵۷ میلادی که میان جمعی از منطق دانان و دانشمندان علم رایانه برگزار شده بود، باعث پایه‌گذاری استدلال خودکار است. این علم در دههٔ هشتاد و نود مورد توجه بسیار قرار گرفت. در سال ۲۰۰۵ شرکت مایکروسافت در بسیاری از پروژه‌های داخلی خود شروع به استفاده از این استدلال، در تشخیص درستی محصولات خود کرد.