Skip to content

logika

24 Januari 2010

logika

Tujuan pembicaraan kali ini adalah untuk menampilkan suatu bahasa daripada kalimat abstrak yang disebut dng logika proposisional, dan juga memperkenalkan teknik untuk menentukan apakah suatu kalimat abstrak yng di berikan itu valid atau contradictory dan apakah dua kalimat abstrak yg diberikan itu ekuivalen. Dengan metode  logika proposisional, kita dapat menentukan kebenaran dan kesalahan daripada banyak kalimat konkrit hanya dengan melihat bentuk mereka Kalimat abstrak dpt bernilai benar/valid atau kontradik tori dan dua kalimat abstrak dapat ekuivalen. Dibawah  ini akan dibicarakan BAHASA, ARTI dari KALIMAT.

Pertama dikenalkan simbol-simbol dasar dan menunjukkan bagaimana mereka dikombinasikan untuk membentuk kalimat (abstrak) daripada logika proposisional.Disampaikan aturan sintaksis yang menjelaskan kombinasi apa daripada simbol-simbol yang diambil menjadi kalimat dalam bahasa tersebut. Disini belum di bicarakan apa arti dari kalimat tersebut

Artikel selengkapnya dapat di download disini

From → Tak Berkategori

Tinggalkan sebuah Komentar

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: