gerek koşul

• iki onerme arasinda kurulacak bir iliski turu.
  
  p --> q ise
  
  "q" onermesi "p" onermesi icin gerek sarttir.
  
  ornek: arabanin calismasi icin depoda benzin olmasi gerekir.
  
  bu cumleyi "eger" baglaciyla tekrar yazalim: eger araba calisiyor ise, depoda benzin vardir.
  
  p = araba calisiyor , q = benzin var,
  
  olsun
  
  bu durumda cumle
  
  p --> q
  
  seklinde yazilabilir.
  
  yani "q" kosulu "p" icin gerek sarttir.
  
  bu iliski, yani p --> q, bize sunlari soyler:
  1. p dogru ise, q da dogrudur
  2. p yanlis ise, q dogru da olabilir, yanlis da olabilir.
  
  ornegimiz bize sunlari soylemektedir:
  1. p=araba calisiyor dogru ise, q=benzin var dogrudur
  2. p=araba calisiyor yanlis ise, q=benzin var dogru da olabilir, yanlis da olabilir.
  
  "p --> q" ile "degil/q --> degil/p" denk oldugundan ayrica
  
  3. q=benzin var yanlis ise, p=araba calisiyor yanlistir
  4. q=benzin var dogru ise, p=araba calisiyor dogru da olabilir, yanlis da olabilir.
  
  de cikarimlar arasindadir.
  
  kisaca benzinin olmasi arabanin calismasi icin sadece bir gerek kosuldur ve bu kosuldan yukarida 1,2,3,4 ile gosterilen cikarimlar yapilabilir.
  
  ---
  
  cogu durumda gerek kosullarin sayisinin artmasiyla olusturulan bilesik kosullar hem gerekli hem de yeterli duruma gelebilir. ornek: arabanin calismasi icin benzin olmasi, akunun saglam, bujilerin calisiyor olmasi gereklidir. gerek kosullarin topluca saglandigi durumda, gerek kosullarin tamami yeter koşul haline gelebilir. bu durumda koşul kümesi hem gerekli hem de yeterli olur.
  
  bu tartismada en onemli olan sey gerek kosulun, sadece gerekli oldugunu ama yeterli olmadigini unutmamaktir. bunu aklimizdan cikarmadan iki onerme arasindaki iliskiyi gosteren okun yonunu de dogru tayin edebilirseniz, is bitmis demektir.