Akademisyenler öncülüğünde matematik/fizik/bilgisayar bilimleri soru cevap platformu
1 beğenilme 0 beğenilmeme
1.8k kez görüntülendi

$p(x,y)$, konu evreni $X\times Y$ olan iki değişkenli bir açık önerme olmak üzere

$$(\exists x\in X)(\forall y\in Y)p(x,y)\longrightarrow (\forall y\in Y)(\exists x\in X)p(x,y)$$

koşullu önermesinin bir gerektirme olduğunun formel ispatını nasıl yaparız?

Lisans Matematik kategorisinde (11.4k puan) tarafından 
tarafından düzenlendi | 1.8k kez görüntülendi

formel ispat ne oluyor?

Biçimsel olan, sözel olmayan, laf salatası yapmadan yapılan ispat. Örneğin aşağıdaki teoremin formel (biçimsel) ispatını bu linkte

http://matkafasi.com/10762/longrightarrow-rightarrow-backslash-backslash-gosteriniz?show=10762#q10762

bulabilirsiniz.

Bicimsel kanit yapabilmek icin oncellikle icinde calisacagimiz cikarimsal sistemi (deductive system) sabitlememiz lazim. Yazdiginiz onerme butun cikarimsal sistemlerde icin bir teorem olsa bile kaniti farkli sistemlerde farkli olacaktir.

Yani ...      

Yani çalıştığımız çıkarımsal sistemin aksiyomları ve çıkarım kuralları nelerdir? Bunu belirtmeniz lazım 

20,247 soru
21,774 cevap
73,415 yorum
2,136,845 kullanıcı