Didalam matematika dikenal ada dua jenis kalimat yaitu kalimat terbuka dan kalimat tertutup.
Kalimat terbuka adalah kalimat yang masih mengandung variabel bebas sehingga nilai kebenaran dari kalimat tersebut tidak dapat dinyatakan dengan jelas.
contoh :
2x + 4 = 6 kalimat ini tidak dapat dikatakan benar atau salah, tergantung berapa pengganti dari variabel bebasnya.
Kalimat tertutup adalah kalimat yang sudah tidak mengandung variabel bebas sehingga nilai kebenaran dari kalimat tertutup sudah dapat dinyatakan dengan jelas.
contoh :
3 + 4 = 7 kalimat ini bernilai benar
5 - 8 = 10 kalimat ini bernilai salah.
Kalimat tertutup juga disebut pernyataan, karena kalimat tertutup sudah dapat dengan jelas dinyatakan benar atau salah.
Setiap pernyataan hanya memiliki satu nilai kebenaran saja, sedangkan pernyataan lain yang mengingkari suatu pernyataan awal disebut negasi atau ingkaran. Jika pernyataan awal bernilai benar maka negasinya bernilai salah demikian pula sebaliknya.
Gabungan dari beberapa pernyataan dengan kalimat penghubung tertentu disebut pernyataan majemuk, kalimat penghubung yang digunakan dalam matematika adalah "dan", "atau", "jika .....maka....." dan "jika dan hanya jika".
Pernyataan majemuk dengan penghubung "dan" disebut konjungsi.
Pernyataan majemuk dengan penghubung "atau" disebut disjungsi.
Pernyataan majemuk dengan penghubung "jika....maka....." disebut implikasi, dan
Pernyataan majemuk yang menggunakan penghubung "jika dan hanya jika" disebut biimplikasi.