Bir Mantık Kuralını Bilmek Onu Kullanabilmek midir?

Bir mantık kuralını ezberlemiş olmak, onu bir tartışmada fark edebilmek anlamına mı geliyor? Derslerde 'P ise Q; Q; o hâlde P' biçimindeki çıkarımın geçersiz olduğunu öğreniriz. Ama aynı kişi 'Yerler ıslak, demek ki yağmur yağmıştır' dendiğinde durup itiraz eder mi? Bence çoğu zaman etmez. Ya kalıbına bakıp bir şey söylemez ya da kalıp biraz değişince her şeyi yanlış sayar. Kuralı bilmekle, kuralın hangi koşulda yetersiz kaldığını görmek arasında ne fark var? Mesela sprinkler çalıştığında bu çıkarım neden çöker, ve bunu ezberden değil düşünerek nasıl görürüz?