Pernyataan pada Logika Matematika
Kalimat.
- 4 kurang dari 5
- Indonesia terdiri atas 33 provinsi
- 2 adalah bilangan prima yang genap
- 3 adalah bilangan genap
- Berapa umurmu ? (Kalimat (Kalimat tanya)
- Bersihkan tempat tidurmu ! (Kalimat perintah)
- Sejuk benar udara di sini ! (Kalimat ungkapan perasaan)
- Mudah-mudahan terkabul cita-citamu. (Kalimat pengharapan)
Pernyataan.
- Kalimat berarti
- Kalimat Deklaratif
- bernilai benar
- bernilai salah
- Bukan Kalimat Deklaratif
- Kalimat tak berarti
- Berapa umurmu ? (Kalimat (Kalimat tanya)
- Bersihkan tempat tidurmu ! (Kalimat perintah)
- Sejuk benar udara di sini ! (Kalimat ungkapan perasaan)
- Mudah-mudahan terkabul cita-citamu. (Kalimat pengharapan)
- Batu makan rumput
- 3 melempari 5
Proposisi.
- 4 kurang dari 5
- Indonesia terdiri atas 33 provinsi
- 3 adalah bilangan genap
- 2 adalah bilangan prima yang genap
Variabel dan Konstanta
- Variabel adalah simbol yang menunjukkan suatu anggota yang belum spesifik dalam semesta pembicaraan.
- Konstanta adalah simbol yang menunjukkan anggota tertentu (yang sudah spesifik) dalam semesta pembicaraan.
- Manusia makan nasi.
- ... memakai sepatu.
- 4 + x = 7
- 4 + ... = 7
- p < 5
Ada yang mengatakan bahwa
kalimat 1 benar, tetapi ada juga yang mengatakan bahwa kalimat itu salah,
tergantung pada kesesuaian kalimat itu dengan
keadaan sesungguhnya. Kalimat seperti ini disebut pernyataan faktual. Ada juga yang mengatakan bahwa kelima kalimat di atas belum dapat
dikatakan mempunyai nilai. Seperti telah kita ketahui, nilai benar maupun nilai salah sebuah kalimat (baik kalimat sehari-hari
maupun kalimat matematika), ditentukan oleh kebenaran atau ketidakbenaran realita yang dinyatakan.
- Jika kata “manusia” dalam kalimat 1 diganti “Akbar”, maka kalimat menjadi “Akbar makan nasi”. Kalimat ini jelas bernilai salah saja atau bernilai benar saja; tergantung realitasnya. Kalimat ini disebut pernyataan faktual. Demikian pula jika “. . .” pada kalimat 2 diganti “Laura”, maka kalimat ini menjadi “Laura memakai sepatu”. Kalimat (pernyataan) itupun menjadi jelas nilainya, yaitu salah saja atau benar saja, tergantung realitanya.
- Jika “x” pada kalimat 3 diganti “3” maka kalimat itu menjadi “4 + 3 = 7”. Kalimat (pernyataan) ini jelas bernilai benar saja. Jika “. . .” pada kalimat 4 diganti “4”, maka kalimat itu menjadi “4 + 4 = 7”. Jelas pernyataan itu bernilai salah saja.
- Jika “p” pada kailmat 5 diganti “0, 1, 2, 3, 4”, maka pernyataan “p < 5” menjadi bernilai benar, tetapi kalimat (pernyataan) itu menjadi bernilai salah apabila “p” pada kalimat 5 diganti "5, 6, 7, . . ." dalam semesta pembicaraan himpunan bilangan cacah.
Kalimat Terbuka.
Kalimat-kalimat seperti 1 sampai
dengan 5 di atas disebut kalimat terbuka. Jika variable dalam kalimat terbuka
sudah diganti dengan konstanta yang sesuai, maka kalimat yang
terjadi dapat disebut kalimat tertutup.
Definisi : Kalimat terbuka adalah kalimat yang mengandung variabel, dan jika variabel tersebut diganti konstanta dari semesta yang sesuai maka kalimat itu akan menjadi kalimat yang bernilai benar saja atau bernilai salah saja (pernyataan).
Kalimat terbuka seperti 3, 4, dan 5, disebut kalimat matematika (ada yang menyebut kalimat bilangan). Kalimat matematika yang masih mengandung variabel dan menggunakan tanda “=” seperti kalimat c dan d disebut persamaan. Kalimat 5 yang menggunakan tanda “<” disebut pertidaksamaan (sebutan ini juga berlaku untuk kalimat matematika yang masih mengandung variabel dan menggunakan tanda ”>” atau “≠”
Jika variabel pada kalimat matematika itu sudah diganti dengan konstanta dan kalimat matematika itu menggunakan tanda “=” maka kalimat yang terjadi disebut kesamaan. Sedang kalimat matematika yang tidak mengandung variabel dan menggunakan tanda “<”, “>” atau “≠” disebut ketidaksamaan. Di atas telah diberikan definisi-definisi dari pernyataan, variabel, konstanta, dan kalimat terbuka. Pernyataan yang menjelaskan istilah-istilah di atas disebut kalimat definisi. Pada kalimat definisi tidak boleh terdapat kata-kata yang belum jelas artinya, apalagi kata yang sedang didefinisikan.