برهان لمّی استدلال از علت برای معلول است که نتیجه ای یقینی در پی دارد و برهان انّی خود بر دو قسم است؛ 1. برهان انّی قسم اوّل که در واقع استدلال از معلول به علت است و در علم منطق مذکور است که این برهان، نتیجه ای یقینی در پی نخواهد داشت.
2. برهان انّی نوع دوم که رسیدن از یک ملازم به ملازم دیگر است که هر دو علت واحدی دارند.
از برهان لمّی در فلسفه نمی توان استفاده کرد؛ چرا که منظور از برهان لمّی استدلال از علت برای معلول است، ولی موضوع فلسفه عمومیتی دارد که طبق آن هیچ امری غیر از وجود نمی تواند علت برای وجود باشد.
برهان انّی نوع اول هم اساساً یقین آور نیست. بنابر این، تنها برهانّی که در فلسفه وجودی می تواند کاربرد داشته باشد، همان برهان انّی نوع دوم خواهد بود.
ترکیب این برهان از برهان لمّی و برهان انّی نوع اوّل باعث یقینی نبودن خود این برهان نخواهد شد؛ چرا که موانعی که باعث عدم استعمال براهین مذکور می شد در این برهان نیست، ضمن این که برهان لمّی تنها به دلیل اعم بودن موضوع فلسفه مورد استفاده فلسفه قرار نمی گرفت، نه این که خود، یقینی نباشد و این از یقینی بودن امر وجود است که برهان لمّی در فلسفه متعالیه کاربردی ندارد، نه این که برهان لمّی حتی عامل فساد برهان انّی نوع دوم هم باشد. بنابراین استدلال از یک ملازم به ملازمی دیگر اثبات علت برای وجود نیست تا مورد انکار باشد (به دلیل اعمیت موضوع فلسفه).