Aynı şekilde, iki veya daha fazla sayıda önermeden (eğer-ise) bağını kullanarak şartlı önermeler kurulabilir.
Örnek: Eğer yağmur yağıyor ise, hava bulutludur.
Bazen eğer-ise bağı yerine doğal dilde gerektirir bağını da kullanabiliyoruz.
Örnek: Yağmurun yağıyor olması havanın bulutlu olmasını gerektirir.
Örnek: Eğer yağmur yağıyor ise, hava bulutludur.
Bazen eğer-ise bağı yerine doğal dilde gerektirir bağını da kullanabiliyoruz.
Örnek: Yağmurun yağıyor olması havanın bulutlu olmasını gerektirir.
