The following is an example of a very simple inference within the scope of propositional logic: Premise 1: If it's raining then it's cloudy.
Önermeler mantığı kapsamında yapılabilecek basit bir çıkarsama örneği şu şekildedir: Öncül 1: Eğer yağmur yağıyor ise, hava bulutludur.