LOGIKA PASTI

DITULIS UNTUK MEMENUHI TUGAS MATA KULIAH LOGIKA dan

HIMPUNAN DOSEN PENGAMPU: Yumira Simamora, M.pd.
DISUSUN OLEH NAMA : NOVITA RAHMADIA
Npm : 2206030025
SEMESTER I

PROGRAM STUDI PENDIDIKAN MATEMATIKA

FAKULTAS KEGURUAN DAN ILMU PENDIDIKAN
UNIVERSITAS AL WASHLIYAH (UNIVA) MEDAN
SEMESTER GANJIL TAHUN AJARAN 2022/2023

1
 LOGIKA PASTI
PENGERTIAN UMUM LOGIKA

Logika adalah metode atau teknik yang diciptakan untuk meneliti

ketepatan penalaran serta mengkaji prinsip-prinsip penalaran yang benar dan
penarikan kesimpulan yang absah.

Ilmu logika berhubungan dengan kalimat-kalimat (argumen) dan

hubungan yang ada diantara kalimat-kalimat tersebut. Tujuannya adalah
memberikan aturan-aturan sehingga orang dapat menentukan apakah suatu
kalimat bernilai benar.

HUBUNGAN MATEMATIKA DAN LOGIKA

Menurut RUDOLF CARNAP (1931)

Konsep matematika dapat diturunkan dari konsep-konsep logika dengan melalui

batasan-batasan yang jelas.

Dalil-dalil matematika dapat diturunkan dari aksioma-aksioma logika dengan

perantara deduksi logis secara murni.

Menurut BETRAND RUSSEL

Logika adalah masa muda matematika dan matematika adalah masa dewasa
logika.

Kalimat yang dipelajari dalam logika bersifat umum, baik bahasa sehari-
hari maupun bukti matematika yang didasarkan atas hipotesa-hipotesa. Oleh
karena itu aturan-aturan yang berlaku di dalamnya haruslah bersifat umum dan
tidak tergantung pada kalimat atau disiplin ilmu tertentu. Ilmu logika lebih
mengarah dalam bentuk sintaks-sintaks daripada arti dari kalimat itu sendiri.

Secara umum logika dibedakan menjadi dua yaitu Logika Pasti dan Logika Tidak
Pasti. Logika pasti meliputi Logika Pernyataan (Propotitional Logic), Logika

2
Predikat (Predicate Logic), Logika Hubungan (Relation Logic) dan Logika
Himpunan. Sedangkan logika tidak pasti meliputi Logika Samar atau kabur
(Fuzzy Logic).

Logika pasti terdiri dari:

 Logika pernyataan (propotitional logic)

Logika Pernyataan membicarakan tentang pernyataan tunggal dan kata
hubungnya sehingga didapat kalimat majemuk yang berupa kalimat
deklaratif.
 Logika predikat (predicate logic)
Logika Predikat menelaah variabel dalam suatu kalimat, kuantifikasi dan
validitas sebuah argumen.
 Logika hubungan (relation logic)
Logika Hubungan mempelajari hubungan antara pernyataan, relasi
simetri, refleksif, antisimtris, dll.
 dan Logika himpunan
Logika himpunan membicarakan tentang unsur-unsur himpunan dan
hukum-hukum yang berlaku di dalamnya.

Contoh logika pernyataan

1. 2 adalah bilangan prima
2. Semarang adalah ibukota Indonesia
3. Sekarang hari Senin
4. Indonesia raya adalah lagu kebangsaan indonesia

3
 Contoh logika predikat

1. x > 4
2. x = y+2
3. Budi seorang mahasiswa

Analisa: pernyataan "x lebih besar dari 4" terdiri 2 bagian:

 Variable x sebagai subjek dari pernyataan dan

 Predikat yaitu "lebih besar dari 4" , yang menyatakan kriteria benar atau
salah dari subjek nya

Contoh logika hubungan

Contoh kata tugas penghubung atau konjungsi adalah sehingga, maka,
ketika, karena, bukan hanya, melainkan, akan tetapi, dan masih banyak
lagi.

Contoh logika himpunan

A = {0,1,3,4,6}

B = {0,3,6}

C = {5,6}

4
 DAFTAR PUSTAKA
http://eprints.binadarma.ac.id/941/1/per_4_logika_log_dasar_.doc#:~:text=Logika%20pasti%20meliputi%20Logika
%20Pernyataan,atau%20kabur%20(Fuzzy%20Logic).
http://eprints.binadarma.ac.id/941/1/per_4_logika_log_dasar_.doc#:~:text=Logika%20pasti%20meliputi%20Logika
%20Pernyataan,atau%20kabur%20(Fuzzy%20Logic).
https://repository.dinus.ac.id/docs/ajar/4-Logika-predikat1.ppt.pdf
https://www.slideshare.net/bagoes88/hubungan-hubungan-dalam-logika-2
https://www.academia.edu/8222155/LOGIKA_HIMPUNAN