• Tidak ada hasil yang ditemukan

PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN R+ DAN RW+ - Diponegoro University | Institutional Repository (UNDIP-IR)

N/A
N/A
Protected

Academic year: 2017

Membagikan "PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN R+ DAN RW+ - Diponegoro University | Institutional Repository (UNDIP-IR)"

Copied!
6
0
0

Teks penuh

(1)

PRINSIP MAKSIMOVA PADA LOGIKA RELEVAN

R

+

DAN RW

+

SKRIPSI

Disusun Oleh :

DESYE KOMARIA

J2A 004 010

JURUSAN MATEMATIKA

FAKULTAS MATEMATIKA DAN ILMU PENGETAHUAN ALAM

(2)

ABSTRACT

(3)

ABSTRAK

(4)

BAB I

PENDAHULUAN

1.1 Latar Belakang

Prinsip pemisahan variabel maksimova (atau secara singkat disebut prinsip Maksimova) dikemukakan oleh Makimova. Prinsip tersebut menyatakan bahwa jika formula-formula A1  A2 dan B1  B2 tidak mempunyai variabel yang sama dan jika formula A1  B1  A2  B2 dapat dibuktikan, maka A1  A2 atau B1  B2

dapat dibuktikan. (H. Naruse, Bayu Surarso dan H. Ono, 1998)

Dalam logika intuisionistik (intuitionistic logics), dapat dikonstruksikan pembuktian dari hukum distributif A  ( B  C )  ( A  B )  ( A  C ) dengan

menggunakan aturan contraction dan aturan weakening. Untuk beberapa logika substructural, seperti FLw, FLe.w, FLe.c, karena tidak memuat aturan contraction atau aturan weakening sehingga hukum distributif tidak dapat diturunkan. (Bayu Surarso, 1998).

(5)

Pada tugas akhir ini menunjukan bahwa kesulitan di atas bisa diatasi untuk membuktikan prinsip Maksimova berlaku untuk logika relevan positif R+ dan RW+. (Bayu Surarso, 1998)

1.2Perumusan Masalah

Berdasarkan latar belakang yang sudah dijelaskan, permasalahan yang diangkat dalam Tugas Akhir ini adalah membuktikan bahwa prinsip Maksimova berlaku untuk logika relevan. Prinsip Maksimova tersebut secara berturut-turut dapat dibuktikan untuk logika relevan positif R+ dan RW+.

1.3Pembatasan Masalah

Penulisan Tugas Akhir ini hanya membahas pembuktian prinsip Maksimova untuk logika relevan dengan menggunakan sifat variable-sharing tanpa membuktikan sifat tersebut.

1.4Tujuan Penulisan

Berdasarkan permasalahan diatas, maka tujuan penulisan Tugas Akhir ini adalah untuk membuktikan bahwa prinsip Maksimova berlaku untuk logika relevan positif R+ dan RW+.

1.5Sistematika Penulisan

(6)

Referensi

Dokumen terkait

Program Strata 1 Pada Jurusan Teknik Sipil Fakultas Teknik Universitas

Ayam yang terinfeksi dengan Salmonella dapat menyebabkan inkorporasi mikroba ini ke dalam telur pada saat proses pembentukannya, ketika kulit telur belum mengalami

[r]

[r]

Untuk itu perlu dilakukan antisipasi yaitu upaya pelestarian ikan jurung dengan proses domestikasi ikan jurung dari habitat alami ke habitat semi alami sehingga

Ribuan masyarakat jogja / sabtu malam memadati alun-alun utara / untuk menyaksikan Pentas kolosal musik – drama –tari “Golong Giling Traju Manggolo” // Cerita yang berdurasi 1,5

[r]

[r]