Processing math: 86%
Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
0 beğenilme 0 beğenilmeme
652 kez görüntülendi
p(x) ve q(x), konu evreni E olan iki açık önerme olmak üzere (xp(x)xq(x))x(p(x)q(x)) koşullu önermesinin bir gerektirme olduğunu gösteriniz. Karşıtı her zaman doğru mudur? Yanıtınızı kanıtlayınız.
Lisans Matematik kategorisinde (11.5k puan) tarafından  | 652 kez görüntülendi
Okun diger yonde olamayacagini gostermek icin ters ornek vermek kolay:

Butun dogal sayilar ya cifttir yada tektir onermesi dogru  ama

butun dogal sayilar cifttir veya butun dogal sayilar tektir onermesi yanlis.
Evet doğru. p(x), konu evreni E olan bir açık önerme olmak üzere q(x):=¬p(x) alınırsa koşullu önermenin karşıtı doğru olmuyor.

xPxQxxPxxQx

  • xPxQx            dogru ise  
  •  PaQa                dogrudur ( universal instantiation)

  •  xPxxQx        dogrudur (universal generalization)

O zaman onerme dogrudur gibi dusundum. son adimimdan emin degilim. ama a, P ve Q nin bagimli degiskeni daha onceki formullerde gecmedi, ve formuller x e bagli degil. sanirimuniversal generalization rule i kullanabiliriz gibi geldi.

Su ikisinin dogru oldugundan cok eminim

PaxQx 

xPxQa 

dusunup salim kafayla bakicam gene

20,295 soru
21,836 cevap
73,540 yorum
2,697,162 kullanıcı