saftirik

• p ise q önermesinde p yi doğru (1) algılar, önermenin genel sonucunu da doğru (1) kabul eder, geriye zorunlu olarak q'nun doğrululu kalır.
  
  örnek: bana 100 borç verirsen sana seneye 200 verecem.
  saftırık'ın algısı şöyle çalışır: ben 100 borç verecem (1), bu adam kesin seneye 200 verir. geriye seneye 200'ü saf saf beklemek düşer.