Dokumen tersebut merangkum pengembangan bahan ajar berbasis ICT untuk mata pelajaran matematika yang dikembangkan oleh guru-guru Indonesia. Bahan ajar tersebut berisi penjelasan tentang pernyataan dan ingkaran pernyataan beserta contoh-contohnya dalam matematika.

1. PENGEMBANGAN BAHAN AJAR BERBASIS ICT
Mata Pelajaran : MATEMATIKA
Software
Pembelajaran ini
hasil karya guru-
guru Indonesia
yang bersifat
bebas untukdi
gunakan siapapun
dan dapat
dimodifikasi
disesuaikan untuk
kebutuhan
pembelajaran di
sekolah yang
bersangkutan.
Software
Pembelajaran ini
hasil karya guru-
guru Indonesia
yang bersifat
bebas untukdi
gunakan siapapun
dan dapat
dimodifikasi
disesuaikan untuk
kebutuhan
pembelajaran di
sekolah yang
bersangkutan.
SK / KD
Teori
Pembuat : Suyudi Suhartono, S.Pd
SMA Negeri 1 Sewon
E-mail : Suyudi_smawon@yahoo.co.id

2. Keluar
Standar Kompetensi
Menggunakan logika matematika
dalam pemecahan masalah yang
berkaitan dengan pernyataan
majemuk dan pernyataan berkuantor.
SK / KD
Teori

3. Keluar
Kompetensi Dasar
4.1. Memahami pernyataan
dalam matematika dan ingkaran
atau negasinya.
SK / KD
Teori

4. Keluar
Indikator
1.Menjelaskan arti dan contoh dari
pernyataan dan kalimat terbuka,
serta menentukan nilai
kebenaran suatu pernyataan.
2.Menentukan ingkaran atau
negasi dari suatu pernyataan
beserta nilai kebenarannya.
SK / KD
Teori

5. Keluar
Pernyataan/Proposisi
Kalimat yang mempunyai salah
satu dari nilai benar atau salah
disebut proposisi atau pernyataan.
• Pernyataan ditulis dengan huruf
kecil p, q, r dan seterusnya

6. Keluar
Ingkaran Pernyataan
• Negasi atau ingkaran dari
pernyataan p, ditulis ~p adalah
pernyataan lain yang
menyangkal pernyataan yang
diberikan

7. Keluar
Tabel Kebenaran Ingkaran
Contoh:
• p : hari ini hujan
• ~p : hari ini tidak hujan
• atau
• tidak benar hari ini hujan
p ~p
B
S
S
B

8. Keluar
Simulasi Ingkaran
adalahp :
Ingkarannya
~p :
~p :
atau :
Mencoba Lagi
Isikan subyek Isikan predikat /keterangan

9. Keluar
Pernyataan berkuantor
Kuantor Universal (umum)
Kuantor Universal diberi notasi “ ∀ “
sehingga dibaca :
untuk setiap, semua, tiap-tiap, seluruhnya,
sekalian.
Kuantor Eksistensial (khusus)
Kuantor Eksistensial diberi notasi “ ∃ “,
dibaca : beberapa, ada, terdapat,
paling tidak, sedikit-dikitnya, minimal.

10. Keluar
Ingkaran pernyataan berkuantor
( ) )(~.)(.~.
)(~.))(,(~.
xpxxpxii
xpxxpxi
∀≡∃
∃≡∀
Contoh :
p: Semua siswa rajin belajar
~p: Beberapa siswa tidakrajin belajar

11. Keluar
Simulasi Ingkaran pernyataan berkuantor
Isikan subyek Isikan predikat /keterangan
Ingkarannya
~p :
~p :
atau :
Mencoba Lagi
Isikan kata
“ Semua” atau
“Beberapa”