Computer File

Konsistensi, ketakbergantungan dan kelengkapan kalkulus proposisi

Logika adalah suatu bidang ilmu yang mengkaji prinsip-prinsip penalaran yang
sah serta penarikan kesimpulan yang benar. Dalam batas-batas tertentu cara berpikir
manusia dapat diperbaiki dengan mempelajari Logika, tetapi Logika tidak mampu
menggantikan pemikiran yang kreatif. Logika hanya pengatur dan bukan penggerak bagi
pemikiran Logika merumuskan hukum-hukum yang dapat digunakan sebagai alat untuk
menilai apakah hasil pemikiran yang benar. Pada skripsi hi, ilmu Logika ditelaah secara
simbolis yang dapat dikenakan pada objek-objek matematika Simboi-simbol yang
digunakan adalah variabel proposisi, proposisi, himpunan proposisi, perangkai-perangkai
dan beberapa aturan-aturan operasi bagi simbol-simbol tersebut. Skripsi ini akan
membahas suatu bagian dari Logika Matematika yaitu Kalkulus Proposisi, karena
Kalkulus Proposisi merupakan bagian dari Logika Matematika yang pertama dan tidak
bisa dikecualikan Sistem Aksioma digunakan untuk mensistemasikan objek-objek
matematika Dalam penggunaan sistem aksioma ada tiga masalah yang timbul yaitu
konsistensi, ketakbergantungan dan kelengkapan. Kami mencoba mempertajam
pembicaraan dengan membedakan masalah-masalah di atas dari sudut pandang semantik
maupun sintaktik Pembicaraan di sini akan dibatasi pada Sistem Aksioma Kalkulus
Proposisi Hilbert- Ackemann

Ketersediaan

Informasi Detail

Judul Seri

No. Panggil

MATE WIJ k/00

Penerbit

Bandung : Program Studi Matematika FMIPA - UNPAR., 2000

Deskripsi Fisik

iv, 65 p. : il. ; 30 cm

Bahasa

Indonesia

ISBN/ISSN

-

Klasifikasi

MATE

Tipe Isi

-

Tipe Media

-

Tipe Pembawa

-

Edisi

-

Subjek

-

Info Detail Spesifik

-

Pernyataan Tanggungjawab

Maria Shinta Wijaya

Versi lain/terkait

Lampiran Berkas

Komentar