Gerektirme

Question

$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?

Comments

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