Khayalan kupu kupu bermetamorfosa

*110. \vdash\ulcorner( \alpha )\phi\supset\phi \urcorner\quad

*114. \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot ( \alpha_{n})\phi\supset\phi \urcorner\quad

*117. Jika \vdash\ulcorner \phi\supset \psi\urcorner\quad, dan tidak ada satupun dari \alpha_{1}, . . . ,\alpha_{n} adalah bebas dari \phi, maka \vdash\ulcorner \phi\supset (\alpha_{1}) . . . (\alpha_{n}) \psi\urcorner\quad

*118. Jika \alpha tidak bebas dari \phi, \vdash\ulcorner\phi\equiv( \alpha ) \phi\urcorner\quad

*119. \vdash\ulcorner( \alpha)(\beta)\phi\equiv(\beta)(\alpha)\phi\urcorner\quad

*121. Jika \psi\prime adalah seperti \psi kecuali untuk penampungan \phi\prime pada beberapa tempat dimana \psi menampung \phi, dan \alpha_{1} . . . , \alpha_{n} ( n \geqslant 0 ) mengeluarkan variabel-variabel yang berkaitan dengan kejadian-kejadian dari \phi dan \phi\prime yang diikat didalam \psi dan \psi\prime maka \vdash\ulcorner( \alpha_{1}) \cdot\cdot\cdot\cdot(\alpha_{n})(\phi\equiv\phi\prime)\supset.(\psi\equiv\psi\prime\urcorner\quad

Tinggalkan Balasan

Isikan data di bawah atau klik salah satu ikon untuk log in:

Logo WordPress.com

You are commenting using your WordPress.com account. Logout / Ubah )

Gambar Twitter

You are commenting using your Twitter account. Logout / Ubah )

Foto Facebook

You are commenting using your Facebook account. Logout / Ubah )

Foto Google+

You are commenting using your Google+ account. Logout / Ubah )

Connecting to %s

%d blogger menyukai ini: