Mantıksal çıkarım, yani akıl yürütme kurabilmek için en az iki önermeye ihtiyaç duyarız. Akıl yürütme bu iki önerme arasında kurulur, yani önermelerden biri diğerinin kanıtlayanı olur. Kanıtlayan önerme ve kanıtlanan önermenin olmadığı bir akıl yürütme kurulamaz.