logika

Seperti yang kita pelajari, logika matematis atau simbolik memiliki dua aspek. Di
satu sisi itu adalah logika - itu adalah teori analitis seni penalaran yang tujuannya
adalah untuk mensistematisasikan dan mengkodifikasi prinsip-prinsip yang valid
pemikiran. Ini telah muncul dari studi tentang penggunaan bahasa dalam argumen
dan persuasi dan didasarkan pada identifikasi dan pemeriksaan.dari bagian-bagian
bahasa yang penting untuk tujuan ini. Dia formal dalam arti kurang mengacu pada
makna. Dengan demikian mencapai keserbagunaan: dapat digunakan untuk menilai
kebenaran rantai penalaran (khususnya, "bukti matematis") semata-mata atas dasar
bentuk (dan bukan isi) dari urutan pernyataan yang membuat rantai. Ada berbagai
logika simbolik. Kita akan menjadi hanya peduli dengan yang mencakup sebagian
besar deduksi dari jenis yang ditemui dalam matematika. Dalam konteks logika itu
sendiri, ini adalah logika simbolik "klasik". aspek. Di satu sisi itu adalah logika -
itu adalah teori analitis seni penalaran yang tujuannya adalah untuk
mensistematisasikan dan mengkodifikasi prinsip-prinsip yang valid pemikiran. Ini
telah muncul dari studi tentang penggunaan bahasa dalam argumen dan persuasi
dan didasarkan pada identifikasi dan pemeriksaan. dari bagian-bagian bahasa yang
penting untuk tujuan ini. Dia formal dalam arti kurang mengacu pada makna.
Dengan demikian mencapai keserbagunaan: dapat digunakan untuk menilai
kebenaran rantai penalaran (khususnya, "bukti matematis") semata-mata atas dasar
bentuk (dan bukan isi) dari urutan pernyataan yang membuat rantai. Ada berbagai
logika simbolik. Kita akan menjadi hanya peduli dengan yang mencakup sebagian
besar deduksi dari jenis yang ditemui dalam matematika. Dalam konteks logika itu
sendiri, ini adalah logika simbolik "klasik".
 Aspek lain dari logika simbolik adalah interlaced dengan masalah yang
berkaitan dengan dasar-dasar matematika. Singkatnya, itu sama dengan
merumuskan teori matematika sebagai sistem logis yang ditambah dengan lebih
lanjut aksioma. Gagasan tentang teori matematika sebagai "terapan"sistem logika
berasal dari matematikawan Jerman G. Frege (1848-1925), yang mengembangkan
sistem logika untuk digunakan dalam studinya tentang dasar-dasar aritmatika.
Principia Mathematica (1910-1913) dari Whitehead dan Russell melanjutkan
pekerjaan Frege ini dan mendemonstrasikan bahwa matematika dapat "direduksi
menjadi logika". Di bab selanjutnya memperlakukan teori aksiomatik beberapa
indikasi akan diberikan dari pendekatan ini hingga teori matematika.

1. Kalkulus Pernyataan. Konektivitas Sentensial

Dalam wacana matematika dan di tempat lain orang terus-menerus bertemu

kalimat deklaratif yang telah dibentuk dengan memodifikasi kalimat dengan kata
tidak atau dengan menghubungkan kalimat dengan kata dan, atau, jika. . . maka
(atau menyiratkan), dan jika dan hanya jika. Lima kata atau kombinasi ini dari
kata-kata disebut penghubung sentensial. Perhatian pertama kami berikut adalah
analisis struktur kalimat majemuk (yaitu,kalimat deklaratif di mana satu atau lebih
penghubung muncul) diistilah kalimat utama penyusunnya (yaitu, kalimat yang
baik tidak mengandung penghubung atau, berdasarkan pilihan, dianggap sebagai
"indi terlihat"). Pertama tama kita akan melihat penghubungnya satu per satu.

Kalimat yang dimodifikasi dengan kata “tidak” disebut negasi dari kalimat
aslinya. Misalnya, "2 bukan bilangan prima" adalah negasi dari "2 adalah bilangan
prima," dan "Bukan kasus bahwa 2 adalah bilangan prima dan 6 adalah bilangan
komposit" adalah negasi dari "2 adalah bilangan prima dan 6 adalah sebuah
bilangan komposit." Itu karena kalimat terakhir adalah gabungan penggunaan tata
bahasa memaksa seseorang untuk menggunakan frasa "Bukan itu masalahnya"alih-
alih hanya kata "tidak".

Kata "dan" digunakan untuk menggabungkan dua kalimat untuk membentuk

komposit kalimat yang disebut konjungsi dari dua kalimat. Misalnya, kalimat
"Matahari bersinar, dan di luar dingin" adalah konjungsi kalimat "Matahari
bersinar" dan "Di luar dingin." Dalam bahasa biasa berbagai kata, seperti "tetapi,"
digunakan sebagai perkiraan sinonim untuk "dan"; namun, kami akan mengabaikan
kemungkinan perbedaan nuansa makna yang mungkin menyertai penggunaan satu
di tempat yang lain.

Kalimat yang dibentuk dengan menghubungkan dua kalimat dengan kata

"atau"disebut disjungsi dua kalimat. Kami akan selalu berasumsi bahwa "atau"
digunakan dalam pengertian inklusif (dalam dokumen hukum ini sering
diungkapkan oleh barbarisme "dan/atau"). Ingat bahwa kami menafsirkan "atau"
dengan cara ini dalam definisi penyatuan dua himpunan.

Dari dua kalimat kita dapat membangun salah satu bentuk "Jika . . . ,
maka . . "; ini disebut kalimat bersyarat. Kalimat yang mengikuti "Jika" adalah
anteseden, dan kalimat yang mengikuti "maka" adalah konsekuennya. Misalnya,
"Jika 2 > 3,maka 3 > 4" adalah kalimat bersyarat dengan "2 > 3" sebagai anteseden
dan "3 > 4" sebagai konsekuensinya. Beberapa idiom lain dalam bahasa Inggris
yang kami akan di anggap memiliki arti yang sama dengan "Jika P, maka Q" (di
mana I'dan kalimat busur Q) adalah

 P menyiratkan Q,
 P hanya jika Q,
 P adalah syarat cukup untuk Q,
 Q, asalkan P,
  Q jika P,
 Q adalah kondisi yang diperlukan untuk P

Kata-kata "jika dan hanya jika" digunakan untuk memperoleh dari dua
kalimat a kalimat bersyarat. Kami menganggap bikondisional “P jika dan
hanya jika Q” memiliki arti yang sama dengan “jika P, maka Q, dan jika Q,
maka P; Q adalah kondisi perlu dan cukup untuk P.”

Dengan memperkenalkan huruf "P", . . . berdiri untuk kalimat utama, a

simbol khusus untuk setiap penghubung, dan tanda kurung, jika diperlukan untuk
tanda baca, struktur ikat kalimat majemuk dapat ditampilkan secara efektif. Pilihan
simbol kami untuk penghubung adalah sebagai berikut:

¬ , untuk tidak,"

˄ untuk "dan",

˅ untuk "atau,"

Simbol untuk "jika . . . , maka . . . ,"

Simbol untuk "jika dan hanya jika".

Namun , jika P dan Q adalah kalimat, maka

¬P,P ˄ Q,P ˅ Q,P simbol Q,P simbol Q

masing-masing adalah negasi dari P, konjungsi P dan Q, dan segera. Berikut ini
adalah beberapa contoh konkrit dalam menganalisis struktur hubung kalimat
komposit dalam bentuk konstituen prima kalimat.

CONTOH

1.1. Kalimat
 2 adalah bilangan prima, dan 6 adalah bilangan komposit dapat dilambangkan
dengan P ˄ C, di mana P adalah "2 adalah bilangan prima" dan C adalah "6
adalah bilangan komposit”.

1.2. Kalimat
Jika Bajak Laut atau Anaknya kalah dan Raksasa menang, maka Dodgers akan
keluar dari tempat pertama dan, terlebih lagi, saya akan kalah taruhan
bersyarat, sehingga dapat dilambangkan dalam bentuk, R simbol S, Anteseden
terdiri dari tiga kalimat utama P ("The Pirates
kalah"), C ("The Cubs kalah"), dan G ("The Giants menang"), dan
konsekuensinya adalah konjungsi dari D ("The Dodgers akan keluar dari
tempat pertama") dan B ("Iakan kalah taruhan"). Kalimat aslinya mungkin
dilambangkan dalam hal ini kalimat utama oleh ((P ˅ C) ˄ G) simbol (D ˄ B).
1.3. Kalimat
Jika buruh atau manajemen keras kepala, maka pemogokan akan terjadi
diselesaikan jika pemerintah mendapatkan perintah, tetapi pasukan tidak
dikirim ke pabrik, adalah bersyarat. Antesedennya adalah disjungsi L ("Buruh
keras kepala") dan M ("Manajemen keras kepala"). Konsekuensinya adalah
bikondisional yang anggota tangan kiri adalah S ("Pemogokan akan
diselesaikan") dan anggota tangan kanannya adalah gabungan dari G
("Pemerintah memperoleh perintah") dan negasi dari R ("Pasukan dikirim ke
pabrik"). Jadi kalimat aslinya may dilambangkan dengan (L ˅ M) simbol (S
simbol), (G ˄( ¬R))).
Untuk menghindari kelebihan tanda kurung dalam menulis kalimat majemuk
dalam
 bentuk simbolis, kami memperkenalkan konvensi seperti dalam aljabar. Kami
setuju bahwa simbol, adalah penghubung terkuat (yaitu, mencakup sebagian
besar), dan kemudian mengikuti simbol . Urutan berikutnya adalah ˅ dan ˄ ,
yang ditetapkan sama kekuatan, dan kemudian mengikuti ¬ , penghubung
terlemah. Sebagai contoh
P ˄ Q simbol R Berarti(P ˄ Q) simbol R,
P simbol Q simbol R artinya P simbol (Q simbol R),
¬ P ˄ Q artinya (¬ P) ˄ Q,
dan kalimat dalam Contoh 1.3 sekarang dapat dilambangkan sebagai
L ˅ M simbol (S simbol G ˄ ¬ R).

LATIHAN

1.1. Terjemahkan kalimat majemuk berikut ke dalam notasi

simbolik,menggunakan huruf untuk mewakili komponen utama (yang di sini kita
mengerti untuk kalimat yang tidak mengandung kata penghubung).

(a) Baik itu hujan atau seseorang membiarkan pancurannya menyala.

(b) Jika malam ini berkabut, maka John harus tinggal di rumah atau dia
harus mengambil sebuah taksi.

(c) John akan duduk, dan berbohong atau George akan menunggu.

(d) John akan duduk dan menunggu, atau George akan menunggu.

(e) Saya akan pergi dengan bus atau taksi.

(f) Baik Utara maupun Selatan tidak memenangkan Perang Saudara.

(g) Jika, dan hanya jika, parit irigasi digali, tanaman akan bertahan hidup;
 Sebaiknya tanaman tidak bertahan, maka petani akan bangkrut dan pergi.

(h) Jika saya lelah atau lapar, maka saya tidak bisa belajar.

(i) jika John bangun dan pergi ke sekolah, dia akan bahagia; dan jika dia
tidak bangun, dia tidak akan senang.

1.2. Misal C adalah "Hari ini cerah", R menjadi "Hari ini hujan", S menjadi "Salju
turun hari ini," dan Y menjadi "Kemarin mendung." Terjemahkan ke dalam bahasa
Inggris yang dapat diterima pengikut.

(a) C simbol ¬ ,(R ˄ S). (d) (Y simbol R) ˅ C.

(b) Y simbol C. (e) C simbol (R ˄ ¬ S) ˅ Y.

(c) Y ˄ (C ˅ R). (f) (C simbol R) ˄ (¬ S ˅ Y)