Bizim evrenimizin bir başlangıcı yoksa geçmişe doğru sonsuz bir olaylar dizisinin olması gerekir. Olayların geçmişe doğru sonsuz bir dizisinin olması imkansızdır.Öyleyse bizim evrenimizin bir başlangıcının olması gerekir.Yukarıdaki çıkarım hangi geçerli çıkarım kuralına bir örnektir?
Yıkıcı ikilem
Modus Ponens
Ayrık Tasım
Yapıcı ikilem
Modus Tollens