Gerektirme

1 beğenilme 0 beğenilmeme
732 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?

2, Haziran, 2015 Lisans Matematik kategorisinde murad.ozkoc (8,693 puan) tarafından  soruldu
2, Haziran, 2015 murad.ozkoc tarafından düzenlendi

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 

...