CEVAP: Buna göre, A ise B önermesinin Diodorus anlamında doğru olması, A ise B önermesinin her zaman Philoanlamında doğru olması demektir. Bu durumda, Dioadorus’un tanımına göre, koşullu önermelerin doğruluk değeri zamana göre değişmez: A ise B önermesinin t1 anında Diodorus anlamında doğru olmasının, t2 anında doğru olmasının da anlamıA ise B önermesinin her zaman Philo anlamında doğru olmasıdır. Dolayısıyla, Diodorus Philo’nun tanımının doğurduğu birbirine bağlı (1) ve (2) güçlüklerini aşmış olur. Ancak Didorus’un tanımı (3) güçlüğünü engelleyemez. Eğer B her zaman doğru bir önerme ise, A önermesi ne olursa olsun, A ise B önermesi her zaman Philo anlamında doğru bir koşullu önerme olur. Dolayısıyla, A ise B önermesi Diodorus anlamında doğru bir koşullu önerme olur. Eğer A her zaman yanlış bir önerme ise, B önermesi ne olursa olsun, A ise B önermesi de Philo anlamında her zaman doğru olur. Dolayısıyla, A ise B de önermesi Diodorus anlamında doğru bir koşullu önerme olur. Sonuç olarak, Diodorus koşul önermelerinin doğru olması için ön bileşen ile ard bileşen arasında bir ilgi bulunmasını gerektirmemektedir.