Proposi
Proposi
Proposisi pada logika matematika terbagi menjadi 3 jenis, yaitu proposisi tunggal,
majemuk, dan kompleks. Jenis proposisi tunggal yaitu pernyataan tanpa perangkai.
Sementara proposisi majemuk memiliki satu perangkai. Terakhir, proposisi kompleks
memiliki dua atau lebih perangkai.
Ada 5 perangkai dasar proposisi dalam logika matematika, antara lain ingkaran atau
negasi, konjungsi, disjungsi, implikasi, dan biimplikasi.
Ingkaran atau negasi adalah pernyataan yang memiliki nilai kebenaran yang berlawanan
dari pernyataan atau proposisi semula. Dalam logika matematika, ingkaran atau negasi
memiliki simbol (~). Apabila pernyataan awal bernilai benar, maka pernyataan barunya
bernilai salah. Sebaliknya, jika pernyataan semula bernilai salah, maka pernyataan
barunya bernilai benar.
Jika (p) bernilai benar (B), maka ingkarannya (~p) bernilai salah (S).
Jika (p) bernilai salah (S), maka ingkarannya (~p) bernilai benar (B).