PENDAHULUAN
A. LATAR BERLAKANG
teknologi. Perkembangan Ilmu Pengetahuan dan Teknologi ini telah banyak memberikan
Selain itu software juga dapat menghindarkan kekeliruan dalam mengerjakan soal.
xFunc adalah aplikasi berukuran kecil dan portabel yang dapat Anda gunakan untuk
menciptakan ekspresi matematika yang kompleks yang akan dihitung secara otomatis. Ini
bisa digunakan oleh guru dan siswa. Karena instalasi bukanlah prasyarat, Anda bisa drop
file program di suatu tempat di hard drive dan cukup klik executable untuk dijalankan.
Hal ini juga memungkinkan untuk menyimpan xFunc ke flash disk USB atau unit
penyimpanan serupa, untuk menjalankannya pada mesin dengan usaha minimal dan tanpa
installer sebelumnya.
diperbarui dengan entri baru, dan file tidak tertinggal di hard disk setelah mengeluarkan
1|xFunc
utilitas. Antarmuka didasarkan pada jendela yang mudah digunakan dengan aspek bersih,
angka dan aritmatika, bersama dengan alat tambahan untuk menulis ekspresi.
Selanjutnya, Anda bisa membuat ekspresi logika, grafik dan tabel kebenaran. Ekspresi
dan jawaban bisa disalin ke Clipboard atau masukan. Ada kemungkinan untuk
membatalkan dan mengulang tindakan Anda, pilih basis jawaban (misalnya biner,
desimal, heksadesimal), tambahkan variabel dan fungsi, serta hapus daftar ekspresi.
Sejauh pengaturan yang bersangkutan, Anda dapat meminta alat untuk mengingat
keadaan dan posisi jendela terakhir, status toolbar kanan, pengukuran bilangan dasar dan
Oleh karena itu, kali ini kami membuat modul yang berjudul “Memahami Logika
Matematika dengan Software xFunc“ ini di harapkan dapat membantu anda yang ingin
logika matematika.
B. RUMUSAN MASALAH
berikut:
2|xFunc
C. TUJUAN
instalasinya
D. METODE PENGKAJIAN
Dalam pengambilan data atau informasi untuk membuat judul ini penyusun
a) Browsing di internet
b) Diskusi
cara yang ini dilakukan dengan berdiskusi langsung dengan teman mengenai
Software xFunc”.
3|xFunc
BAB II
4|xFunc
A. PENGERTIAN xFunc
bahkan jika kalkulator tersebut dilengkapi dengan fungsi ilmiah. Hal ini terkadang
menyebabkan kesulitan bagi para guru maupun pelajar ketika menghadapi soal-soal
matematika yang memiliki ekspresi kompleks, hasilnya jika tidak menggunakan usaha
Aplikasi xFunc merupakan software kalkulator gratis yang sangat ideal untuk para
guru atau mahasiswa yang tertarik untuk membuat ekspresi matematika maupun siswa
yang ingin menghitung soal matematika yang kompleks. Software xFunc ini dibuat
dengan aplikasi C#, yang terdiri dari file eksekusi dan dua database yang mencakup kode
untuk mengkonversi string untuk ekspresi. Program xFunc ini memiliki antarmuka yang
yang sederhana ini memberikan kita akses yang sangat luasa terhadap kebutuhan
perhitungan anda.
Software Kalkulator xFunc ini memungkinkan kita untuk membuat berbagai jenis
pemrograman dengan membuat pilihan yang relevan. Kita bisa memilih parameter
ekspresi pada menu di atas user interface, pada fungsi parameter ini kita juga bisa memilih
jawaban dasar yang kita inginkan, baik itu desimal, heksadesimal, octadecimal atau
format biner, serta pengukuran sudut. Selain itu, kita juga bisa membuat tabel kebenaran,
5|xFunc
Alasan memilih aplikasi ini karena lebih mudah digunakan dan dapat digunakan
Aplikasi ini memiliki size 2.4 MB saja yang tidak akan menurunkan atau
mengganggu performa kerja PC/laptop anda. Adapun hal-hal mengenai xfunc adalah
sebagai berikut:
http://www.softpedia.com/get/Science-CAD/xFunc.shtml
5) Klil download
7) Selesai mendownload
3) Block semua file tersebut lalu extract file tersebut kedalam new folder pada
PC/Laptop anda
6|xFunc
c) Cara memulai aplikasi xFunc
Xfunc adalah sebuah software gratis yang mampu membuat dan menghitung
ekspresi matematika yang kompleks Sangat ideal untuk para guru maupun pelajar dalam
menghitung soal matematika yang kompleks. Aplikasi ini sangat sederhana dan mudah
digunakan serta mengijinkan kamu untuk membangun ekpresi matematika dan logika.
7|xFunc
a) Kegunaan tiap tools di aplikasi xFunc
dibatalkan sebelumnya
tempat lain
penuh
8|xFunc
Satuan sudut bidang, sama dengan putaran.
adalah 0,1,2,3,4,5,6,7,8,9
kita pilih.
9|xFunc
5. Expression Variabel yang akan dikenali oleh media jika
nilainya
nilainya
6. Tools
dan volume
10 | x F u n c
b) Cara Menggunakan xFunc
Xfunc dapat bekerja dengan tipe ekpresi yang berbeda beda . Berikut apa-
1) Mathematical Expression
2) Logic Expression
3) Truth Tabel
11 | x F u n c
4) Graphs
a) Kelebihan
atau pun hard drive dan hanya klik aplikasinya untuk menjalankannya tanpa
diinstal sebelumnya.
3) Xfunc menggunakan daya yang sangat rendah pada CPU dan RAM. Sehingga
gradian.
12 | x F u n c
b) Kekurangan
1) Menu angles, output format, answer base, dan tools hanya bisa digunakan
diaplikasi ini.
13 | x F u n c
BAB III
matematika
14 | x F u n c
A. INPUT DATA
a) Sebelum kita menginput data sebelumnya kita harus masuk terlebih dahulu ke
dalam aplikasi xFunc yang sudah kalian instal sebelumnya. Hanya perlu klik 2
b) Tampilan xFunc setelah kalian membuka aplikasi akan terlihat seperti dibawah
ini.
c) Karena software ini akan kita gunakan untuk mennyelesaikan materi logika
matematika maka yang akan kita gunakan yaitu “Logic Expression” dan “Turth
Tabel”
15 | x F u n c
Baik dalam “Logic Matematika” Maupun di “Turth Tabel” formula yang
digunakannya sama saja karena pada dasarnya memang digunakan untuk hal
yang sama.
Untuk “Logic Expression” jika kalian ingin menginput data “p adalah benar”
16 | x F u n c
kalian tinggal ikuti prosedur di bawah ini.
Ketik p di kolom bintang no.1 lalu klik no.2 dan klik no.3 true (benar) lalu enter.
Maka munculah:
Sedangkan untuk “Truth tabel”. Jika kalian ingin mengetahui tabel kebenaran
17 | x F u n c
kolom yang saya tandai oleh love lalu klik biimplikasi dan variabel lain
B. MENYIMPAN FILE
18 | x F u n c
b) Klik “save as”
19 | x F u n c
C. MEMBUKA FILE
b) Lalu klik “Open” dan cari file yang akan kalian buka.
20 | x F u n c
BAB IV
PEMBAHASAN MATERI
LOGIKA
MATEMATIKA
ingkarannya
21 | x F u n c
A. LOGIKA MATEMATIKA
kajian matematis logika dan aplikasi kajian ini pada bidang-bidang lain di luar
matematika. Logika matematika berhubungan erat dengan ilmu komputer dan logika
filosofis. Tema utama dalam logika matematika antara lain adalah kekuatan ekspresif
dari logika formal dan kekuatan deduktif dari sistem pembuktian formal. Logika
matematika sering dibagi ke dalam cabang-cabang dari teori himpunan, teori model, teori
rekursi, teori pembuktian, serta matematika konstruktif. Bidang-bidang ini memiliki hasil
logika dan ilmu matematika sebagai kuncinya dan merupakan landasan dasar untuk
B. PERNYATAAN
kalimat yang bisa dinyatakan sebagai pernyataan yang bernilai benar (B) maupun salah
(S), namun tidak bisa dinyatakan keduanya. Sebuah kalimat dapat dinyatakan sebagai
pernyataan jika bisa ditentukan nilai benar atau salahnya. Sementara itu jika sebuah
kalimat tidak bisa ditentukan benar atau salahnya maka disebut sebagai pernyataan relatif.
Terdapat 2 jenis pernyataan yaitu pernyataan terbuka dan pernyataan tertutup. Berikut
masing-masing penjelasan:
22 | x F u n c
a) Pernyataan terbuka
contoh :
Besok pagi akan terjadi hujan lebat (belum bisa dipastikan kebenarannya)
Maaf ya, aku semalem ketiduran. Hehehe (belum bisa dipastikan kebenarannya)
Aku janji gak bakal tinggalin kamu. (belum bisa dipastikan kebenarannya)
b) Pernyataan tertutup
pernyataan tertutup adalah pernyataan yang sudah bisa dipastikan baik nilai
20 + 80 = 100 (benar)
10 + 5 = 12 (salah)
relatif adalah pernyataan yang bisa bernilai benar namun juga salah. Berikut contoh dari
pernyataan relatif karena tidak semua orang menyukai musik dangdut), Bakso merupakan
makanan yang enak (ini termasuk pernyataan relatif karena sebagian orang ada yang
bilang bakso enak ada juga yang bilang bakso tidak enak)
23 | x F u n c
C. PERNYATAAN MAJEMUK, BENTUK EKUIVALEN DAN
INGKARANNYA
biimplikasi, kalimat berkuantor, kalimat equivalen, dan masih banyak lainnya. Dibawah
dibentuk menjadi satu pernyataan dengan menggunakan kata penghubung logika seperti
dan, atau, maka dan jika dan hanya jika. Pernyataan gabungan tersebut disebut dengan
pernyataan majemuk.
a) Ingkaran/negasi/penyangkalan (~)
kebenaran ingkaran:
24 | x F u n c
S = pernyataan bernilai salah
Artinya, jika suatu pertanyaan (p) benar, maka ingkaran (q) akan bernilai salah.
Contoh lain:
b) Konjungsi (^)
Kata-kata yang membentuk konjungsi selain kata dan adalah meskipun, tetapi,
Dari tabel di atas, kita dapat melihat bahwa konjungsi hanya akan benar jika kedua
Contoh:
25 | x F u n c
c) Disjungsi (v)
Jika kita lihat pada tabel kebenaran, disjungsi hanya salah jika kedua pernyataan
(p dan q) salah.
Contoh:
d) Implikasi (->)
Sehingga notasi dari “p->q” dibaca “Jika p, maka q”. Adapun tabel nilai
Dari tabel terlihat bahwa implikasi hanya bernilai salah jika anteseden (p) benar,
26 | x F u n c
Contoh:
p->q: Jika Andi belajar dengan aplikasi di handphone nya, maka Andi dapat
e) Biimplikasi (<->)
Biimplikasi adalah pernyataan majemuk dengan kata hubung “… jika dan hanya
jika”. Sehingga, notasi dari “p<-> q” akan dibaca “p jika dan hanya jika q”.
Dari tabel kebenaran tersebut, dapat kita amati bahwa biimplikasi akan bernilai
benar jika sebab dan akibatnya (pernyataan p dan q) bernilai sama. Baik itu sama-
Contoh:
bernilai salah).
27 | x F u n c
f) Menentukan ingkaran atau kesetaraan dari pernyataan majemuk atau
pernyataan berkuantor.
Jenis Kuantor:
1) Kuantor Universal
Contoh :
2) Kuantor Eksistensial.
atau ada atau bisa juga terdapat. Kuantor eksistensial kita lambangkan dengan
"∃"
Contoh :
28 | x F u n c
∃p : Beberapa hewan peliharaan memakan rumput
Konvers, invers dan kontraposisi adalah bentuk lain dari implikasi, dimana:
29 | x F u n c
D. MENGERJAKAN SOAL SECARA MANUAL ATAU DENGAN BANTUAN
SOFTWARE xFunc
Setelah kalian mempelajari hal-hal yang disampaikan di atas, disini akan dijabarkan
1. Jika p bernilai benar dan q bernilai salah, tentukan nilai kebenaran untuk
(p v q)
Jawab :
Seperti yang kita ketahui bahwa v merupakan lambang untuk disjungsi. Untuk
Untuk p bernilai benar dan q bernulai salah maka nilai kebenaran untuk p v q
adalah benar.
Jika menggunakan aplikasi hal ini menjadi lebih mudah, karena kalian tidak
perlu melihat tabel kebenaran, hanya tinggal input data maka akan didapatkan
jawaban.
Langkah-langkahnya diantaranya :
30 | x F u n c
2. Input datanya
p adalah benar
q adalah salah.
31 | x F u n c
2. Jika p adalah salah , kemudian q adalah benar maka tentukan (~𝑝 → 𝑞) ↔ 𝑝 !
Jawab:
Cara mengerjakannya kalian harus melihat tabel implikasi dan biimplikasi, lalu
p q ~𝑝 (~𝑝 → 𝑞) (~𝑝 → 𝑞) ↔ 𝑝
S B B B S
32 | x F u n c
3. Buatlah tabel kebenaran untuk ~(𝑝 ↔ 𝑞)
Jawab :
p q (𝑝 ↔ 𝑞) ~(𝑝 ↔ 𝑞)
B B B S
B S S B
S B S B
S S B S
menggunakan aplikasi akan jauh lebih mudah dengan truth tabel. Berikut
langkah-langkahnya:
33 | x F u n c
4. Tentukan tebel kebenaran dari (~𝑝 ^ 𝑟) 𝑣 (~𝑟 → 𝑞)!
Jawab:
Jika cara mengerjakannya secara manual biasanya terjadi kekeliruan akibat kesalah
menggunakan aplikasi kalian hanya perlu input pernyataannya seperti pada soal no
34 | x F u n c
BAB V
PENUTUP
A. SARAN
maksimal, maka perlu diberikan beberapa saran yang terkait, diantaranya sebagai berikut:
Saran bagi siswa adalah dalam pemanfaatan modul matematika ini dapat
dan memudahkan pemahaman konsep, serta dapat membantu siswa belajar secara
mandiri oleh siswa baik dengan ataupun tanpa bimbingan dari guru.
Saran bagi guru mata pelajaran matematika dapat digunakan oleh guru untuk
Bagi penelitian selanjutnya modul ini dapat dijadikan sebagai motivasi untuk
mengembangkan bahan ajar lain yang sesuai, sebagai acuan dan referensi untuk
penelitian yang serupa serta sebaiknya memberikan tampilan grafis yang lebih
baik.
35 | x F u n c
WORKSHEET
1. Jika p adalah benar, dan q adalah salah tentukan nilai kebenaran dari pernyataan
berikut:
a. (p v q) ~𝑞
b. ~(𝑝 → ~𝑞)
c. (~𝑝 ↔ 𝑞) → 𝑞
2. Jika p adalah salah, q adalah benar, dan r adalah salah tentukan nilai kebenaran dari:
a. (p ^ r) v (~𝑝 ↔ 𝑟)
b. ~(𝑝 ↔ 𝑟) → 𝑞
c. (𝑝 𝑣 ~𝑟) ↔ (𝑟 ↔ 𝑞)
36 | x F u n c
DAFTAR PUSTAKA
http://www.ilovefreesoftware.com/04/windows/solve-math-equations-using-
2019)
37 | x F u n c