Камен Донев - Съждително смятане

 

if A then B